anchor.diff:          case 15:
             // join
             x = __result;
  -          __next = [13];
  +          __next.push(13);
             // goto finally
             __goto = 12;
             break;
  
positive.code:             // after while
            case 6:
              // break __outer
              __next = [5];
              // goto finally
              __goto = 4;
              break;
  
negative.code:           __handler = 10;
            __error1 = __currentError;
            y.x = foo(__error1);
            __next.push(13);
            // goto finally
            __goto = 12;
            break;
  