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