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