Module type Wp.Mcfg.Splitter

module type Splitter = sig .. end

type pred 
val simplify : pred -> pred
val split : bool -> pred -> pred Bag.t