let print_f_crit fmt f_crit =
  match f_crit with
    | T.CuTop m -> Format.fprintf fmt "top(%a)" Marks.pretty_mark m
    | T.CuSelect to_select -> print_sel_marks_list fmt to_select