Removed unnecessary condition on rule formulas.