Improve `simplifyRules`
Bugfix: looks like V1 is wrong