public static boolean areTerminalsOnRHS(Production production) {
		String rhs = production.getRHS();
		for (int k = 0; k < rhs.length(); k++) {
			char ch = rhs.charAt(k);
			if (isTerminal(ch))
				return true;
		}
		return false;
	}