for(int arc = fsa.getFirstArc(node); arc != 0; arc = fsa.getNextArc(arc))
                if(!fsa.isArcTerminal(arc)){
                    final int target = fsa.getEndNode(arc);
                    if(!visited.get(target))
                        nodes.push(target);