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