public static Transition getTransition(String v1, String v2,
			VariableDependencyGraph graph) {
		State from = getStateForVariable(v1, graph);
		State to = getStateForVariable(v2, graph);
		return new VDGTransition(from, to);
	}