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