private void determineTransitions() {
		remainingTransitions = new HashSet();
		State[] states = minDfa.getStates();
		for (int i = 0; i < states.length; i++)
			remainingTransitions.addAll(minimizer.getTransitionsForState(
					states[i], minDfa, dfa, tree));
	}