anchor.diff:          }
   
           if (__prevBookmark.locations.contains("await1")) {
  -          executeAwait = __nextBookmark.variables["executeAwait"] = __prevBookmark.variables["executeAwait"];
  -          i = __nextBookmark.variables["i"] = __prevBookmark.variables["i"];
  -          m = __nextBookmark.variables["m"] = __prevBookmark.variables["m"];
  -          closureForI = __nextBookmark.variables["closureForI"] = __prevBookmark.variables["closureForI"];
  -          closureForM = __nextBookmark.variables["closureForM"] = __prevBookmark.variables["closureForM"];
  -          __ignored1 = __nextBookmark.variables["__ignored1"] = __prevBookmark.variables["__ignored1"];
  +          executeAwait = __nextBookmark.variables[__executeAwaitRef] = __prevBookmark.variables[__executeAwaitRef];
  +          i = __nextBookmark.variables[__iRef] = __prevBookmark.variables[__iRef];
  +          m = __nextBookmark.variables[__mRef] = __prevBookmark.variables[__mRef];
  +          closureForI = __nextBookmark.variables[__closureForIRef] = __prevBookmark.variables[__closureForIRef];
  +          closureForM = __nextBookmark.variables[__closureForMRef] = __prevBookmark.variables[__closureForMRef];
  +          __ignored1 = __nextBookmark.variables[__ignored1Ref] = __prevBookmark.variables[__ignored1Ref];
             var __exceptionToThrow = __prevBookmark.variables["__exceptionToThrow"];
             __prevBookmark = null;
   
  
positive.code:  *   }
  */
  Future<int> simpleStatement(int value) {
  
    Future<int> _simpleStatement(Bookmark __prevBookmark, int value) {
      Bookmark __nextBookmark = new Bookmark<int>();
  
negative.code:         __nextBookmark.locations.add("if1");
  
          var __ignored1;
          const __ignored1Ref = "if1:__ignored1";
          if (__prevBookmark == null) {
            __reEnterFunction() {
              __nextBookmark.locations.add("await1");
  