Rule.this

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

@precondition the given list is not empty and all alternatives have the same nonterminal on the left-hand side