let simplify ~(print: bool) (clauses: clause list) : clause list =
  if print then begin
    print_endline ("Preprocessing: Ground Splitting");
  end;

  let clauses' =
    simplify' ~print:print clauses
  in

  if print then begin
    print_newline ();
  end;

    clauses'