public static Cons yieldIllegalStatementTree() {
    { Object old$Localvariabletypetable$000 = Stella.$LOCALVARIABLETYPETABLE$.get();

      try {
        Native.setSpecial(Stella.$LOCALVARIABLETYPETABLE$, KeyValueList.newKeyValueList());
        return (((Cons)(Stella_Object.walkWithoutTypeTree(Cons.list$(Cons.cons(Stella.SYM_STELLA_ERROR, Cons.cons(StringWrapper.wrapString("Attempt to execute illegal statement flagged by the translator"), Cons.cons(Stella.SYM_STELLA_EOL, Cons.cons(StringWrapper.wrapString("    but not yet fixed."), Cons.cons(Stella.NIL, Stella.NIL))))))))));

      } finally {
        Stella.$LOCALVARIABLETYPETABLE$.set(old$Localvariabletypetable$000);
      }
    }
  }