Add reductions rules.