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