sig
  val filter :
    polarity:bool -> (Lang.F.pred -> bool) -> Lang.F.pred -> Lang.F.pred
  val compute : ?anti:bool -> Conditions.sequent -> Conditions.sequent
end