docs: public void copyFrom(StateSet other) {
          this.isTop = other.isTop;
          this.isBottom = other.isBottom;
          this.onExceptionPath = other.onExceptionPath;
          this.stateMap.clear();
          for (State state : other.stateMap.values()) {
              State dup = state.duplicate();
              this.stateMap.put(dup.getObligationSet(), dup);
          }
      }