Prohibits rules with terminals and nonterminals