public boolean hasExceptionThrown() {
    // return this.replaced_eSeq.hasUnexpectedException();

    for (int i = 0; i < (this.replaced_eSeq.sequence.size() - 1); i++) {
      if (replaced_eSeq.getResult(i) instanceof ExceptionalExecution) {
        return true;
      }
    }
    return false;
  }
 public boolean hasNonExecuted() {
   return replaced_eSeq.hasNonExecutedStatements();
 }