/** Returns a String representation for this FailureSequence. */
  public String toString() {
    StringBuilder sb = new StringBuilder();
    for (int i = 0; i < opSequence.size(); i += 1) {
      sb.append(opSequence.get(i) + "\n");
    }

    return sb.toString();
  }
 /* Adds an operation to the failure sequence. */
 public void addOperation(DequeOperation dequeOp) {
   opSequence.addLast(dequeOp);
 }