let
insert_new_level (lev: level) (ls: level list) = insert_new_level_acc lev ls []