private boolean areDirectlyConnected(State s1, State s2, Automaton automaton) {
		if (s1 == s2)
			return false;
		if (automaton.getTransitionsFromStateToState(s1, s2).length == 0
				&& automaton.getTransitionsFromStateToState(s2, s1).length == 0)
			return false;
		return true;
	}