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