let rec print_levels ls = 
        match ls with 
        | [] -> print_string("\n")
        | lev::tl -> (print_string(string_of_level(lev) ^ "; "); 
        (print_levels tl))