Redundancy check

Used the tool: https://arestwo.org/famlam/redundantRuleChecker.html