let rec insert_levels (all_ls: level list) (ls: level list) =
        match ls with 
        | [] -> all_ls
        | lev::tl -> let all_ls' = (insert_new_level lev all_ls) in
                    insert_levels all_ls' tl