Only list invariant conjuncts for each interface

Process-rule conjuncts may be added in the future.
Check invariant conjuncts instead of invariant rules
Remove obsolete $invariantRuleNames