private static void removeIncoerentTransition(HashSet<Transition> tr, Set<Integer> s) {
		HashSet<Transition> transitionToEliminate = new HashSet<Transition>();
		for (Transition t : tr) {
			if (!s.contains(t.node) || !s.contains(t.leftChildren) || !s.contains(t.rightChildren)) {
				transitionToEliminate.add(t);
			}
		}
		tr.removeAll(transitionToEliminate);
	}