public boolean isDependentOn(String variable1, String variable2,
			VariableDependencyGraph graph) {
		State v1 = getStateForVariable(variable1, graph);
		State v2 = getStateForVariable(variable2, graph);
		graph.setInitialState(v1);
		UnreachableStatesDetector usd = new UnreachableStatesDetector(graph);
		State[] states = usd.getUnreachableStates();
		graph.setInitialState(null);
		for (int k = 0; k < states.length; k++) {
			if (v2 == states[k])
				return false;
		}
		return true;
	}