@param alternatives the non-empty list of alternatives, all with the same nonterminal on the left-hand side
See Implementation