docs: public AutomatonInstance doClone() {
  		AutomatonInstance clone = new AutomatonInstance(this.automatonEng, this.current, this.instanceId, this.safeGuard);
  		clone.failed = this.failed;
  		clone.transitionCount = this.transitionCount;
  		clone.failCount = this.failCount;
  		clone.iterateCount = this.iterateCount;
  		clone.backtrackCount = this.backtrackCount;
  		clone.trace = new LinkedList<>();
  		for(StateExploration se:this.trace) {
  			clone.trace.add(se.doClone());
  		}
  		return clone;
  	}