public boolean isReducableToLambdaProduction(Production production,
			Set lambdaSet) {
		ProductionChecker pc = new ProductionChecker();
		if (ProductionChecker.areTerminalsOnRHS(production))
			return false;
		String[] variables = production.getVariablesOnRHS();
		for (int j = 0; j < variables.length; j++) {
			if (!isInLambdaSet(variables[j], lambdaSet))
				return false;
		}
		return true;
	}