public Transition getTransitionForUnitProduction(Production production,
			VariableDependencyGraph graph) {
		ProductionChecker pc = new ProductionChecker();
		if (!ProductionChecker.isUnitProduction(production))
			return null;
		String lhs = production.getLHS();
		String rhs = production.getRHS();
		State from = getStateForVariable(lhs, graph);
		State to = getStateForVariable(rhs, graph);
		return new VDGTransition(from, to);
	}