genCodeLine("      next = t->next;");
genCodeLine("      delete t;");
genCodeLine("      t = next;");
genCodeLine("    }");
genCodeLine("  }");
<BUG>genCodeLine("  if (errorHandlerCreated) {");
genCodeLine("    delete errorHandler;");
</BUG>
genCodeLine("  }");
if (Options.getDepthLimit() > 0) {

genCodeLine("      next = t->next;");
genCodeLine("      delete t;");
genCodeLine("      t = next;");
genCodeLine("    }");
genCodeLine("  }");
genCodeLine("  if (errorHandler) {");
genCodeLine("    delete errorHandler, errorHandler = nullptr;");
genCodeLine("  }");
if (Options.getDepthLimit() > 0) {
