private boolean notInSameLUPair(Integer s) {
		for (AcceptingPair pair : acceptanceCondition) {
			if (pair.U.contains(s)) {
				HashSet<Integer> tmpSs = (HashSet<Integer>) liveStates.clone();
				tmpSs.retainAll(pair.L);
				if (tmpSs.isEmpty()) {
					return true;
				}
			}
		}
		return false;
	}