Added:

Added:
Concrete Interference rule that falsify a rule that quantifies over a set can't
remove the last element of the set.

Concrete Interference rule that updates that definitely falsify a rule can't modify
the inclusion condition causing a possible addition.

Intelligence in the GraphAnalysis package that computes must & cant remove sets.
Search through only unique combinations.