let is_level_labelled n lev =
                  match lev.lname with | Some n1 -> n = n1 | None -> false