for (Place place: places) {
            Set<MathNode> placePreset = stg.getPreset(place);
            Set<MathNode> placePostset = stg.getPostset(place);
            if (placePreset.size() > 1) {
                mergeCount++;