Cleaner way to filter conjuncts from Uni and Inj rules
Remove unnecessary filter

(UNI rules are filtered already on computation of ifcControls in ADL2FSpec)
Relax filter to allow inj and uni signals + Also filter RAP interfaces

NOTE: currently all rules comming from properties are invariants, but this will change in the future.
Refactor ifcControls computation