public static boolean isVariableOnRHS(Production production, String variable) {
		String[] variables = production.getVariablesOnRHS();
		for (int k = 0; k < variables.length; k++) {
			if (variables[k].equals(variable))
				return true;
		}
		return false;
	}