Redundancy check

Made with https://arestwo.org/famlam/redundantRuleChecker.html