private static IntIntHashMap rightLanguageForAllStates(final FSAAbstract fsa){
        final IntIntHashMap numbers = new IntIntHashMap();
        fsa.visitPostOrder(state -> {
            int thisNodeNumber = 0;
            for(int arc = fsa.getFirstArc(state); arc != 0; arc = fsa.getNextArc(arc))