module type Splitter = sig .. end
sig
end
type pred
val simplify : pred -> pred
pred -> pred
val split : bool -> pred -> pred Bag.t
bool -> pred -> pred Bag.t