if (dfs.getRPostset(node).isEmpty()) {
                ports.add(new Pair<>(PREFIX_RO + ref, true));
                ports.add(new Pair<>(PREFIX_AO + ref, false));
            }