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