(delete to predefined values / add rule)

(add to predefined values / delete rule)

If the to be subsumed rule is "not" and the subsuming rule is not not,
then there is never a subsumption.

(delete subsumed rules only for same output)

(delete duplicate rules only for same output)