Module type Mcfg.Splitter


module type Splitter = sig .. end

type pred 
val simplify : pred -> pred
val split : Mcfg.assigns_method -> pred -> pred Bag.t