activeList.add(ns);
} else if (!ns.isFinal()) {
totalNonEmittingStates++;
activeList.add(ns);
if (details && ns.isFinal()) {
System.out.println("result " + ns.toPrettyString());
}
expandState(level + 1, activeList, ns);
} else {
totalFinalStates++;
}