sig
  type clause = Term.clause
  val split :
    print:bool ->
    Preprocessing_split_ground.clause list ->
    Preprocessing_split_ground.clause list
end