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