if (toNode instanceof ExitEvent) {
            Set<MathNode> postset = srcModel.getPostset(fromNode);
            if ((postset.size() > 1) && postset.contains(toNode)) {
                return true;
            }