docs: private static Multimap<Variable, Type> getInstanceVarTypeMap(
              Set<Fragment> allFragments, Map<Variable, Type> labelVarTypeMap) {
          Multimap<Variable, Type> instanceVarTypeMap = HashMultimap.create();
          int oldSize;
          do {
              oldSize = instanceVarTypeMap.size();
              allFragments.stream()
                      .filter(fragment -> labelVarTypeMap.containsKey(fragment.start())) // restrict to types
                      .filter(fragment -> fragment instanceof InIsaFragment || fragment instanceof InSubFragment) //
                      .forEach(fragment -> instanceVarTypeMap.put(fragment.end(), labelVarTypeMap.get(fragment.start())));
          } while (oldSize != instanceVarTypeMap.size());
          return instanceVarTypeMap;
      }