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