Add missing name on a reduction rule.