anchor.diff:          }
   
           if (__prevBookmark.locations.contains("await1")) {
  -          __ignored1 = __nextBookmark.variables["__ignored1"] = __prevBookmark.variables["__ignored1"];
  +          __ignored1 = __nextBookmark.variables[__ignored1Ref] = __prevBookmark.variables[__ignored1Ref];
             var __exceptionToThrow = __prevBookmark.variables["__exceptionToThrow"];
  -          value = __nextBookmark.variables["value"] = __prevBookmark.variables["value"];
  +          value = __nextBookmark.variables[__valueRef] = __prevBookmark.variables[__valueRef];
             __prevBookmark = null;
             if (__exceptionToThrow != null) throw __exceptionToThrow;
           }
  
positive.code:  *   }
   */
  Future<int> wrapWithFuture(int value) {
  
    Future<int> _wrapWithFuture(Bookmark __prevBookmark, int value) {
      Bookmark __nextBookmark = new Bookmark<int>();
  
negative.code:       }
  
        if (__prevBookmark == null) {
          i = __nextBookmark.variables[__iRef] = 2;
        }
  
        if (__prevBookmark == null) {
  