public State getUnaccountedForState(Automaton automaton) {
		State[] states = automaton.getStates();
		for (int k = 0; k < states.length; k++) {
			if (!isAccountedFor(states[k]))
				return states[k];
		}
		return null;
	}