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