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