for (VisualPopRegister rSuccNode : dfs.getRPostset(node, VisualPopRegister.class)) {
            BinaryRegisterStg rSuccNodeStg = getPopRegisterStg(rSuccNode);
            Connection connection = dfs.getConnection(node, rSuccNode);
            if ((connection instanceof VisualControlConnection)
                    && ((VisualControlConnection) connection).getReferencedConnection().isInverting()) {