docs: public SameDiff dup() {
          Cloner cloner = newCloner();
          SameDiff clone = cloner.deepClone(this);
          //TODO don't clone sessions in the first place!
          clone.sessions.clear();
          return clone;
      }