Get rid of the obsolete code
Bugfix: broken `signCorrectionRule`
Bugfix: broken `simplifyRules`