Changed productions with | to multiple productions.