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