public boolean containsBadStates() {
		for (Entry<Integer, HashSet<HashSet<Integer>>> entryOfTable : FiniteTreesTable.entrySet()) {
			for (HashSet<Integer> tree : entryOfTable.getValue()) {
				if (!FiniteTreesTable.keySet().containsAll(tree))
					return true;
			}
		}
		return false;
	}