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