anchor.diff:  
     @override
     void visitLocalInitializer(LocalInitializer node) {
  -    node.variable.accept(this);
  +    visitStatement(node.variable);
     }
   
     @override
  
positive.code:     w.Label loop = b.loop();
      _branchIf(node.condition, block, negated: true);
      allocateContext(node);
      node.body.accept(this);
      b.br(loop);
      b.end();
      b.end();
  
negative.code:         }
        }
        for (Initializer initializer in member.initializers) {
          visitInitializer(initializer);
        }
      }
  
      Statement? body = member.function!.body;
      if (body != null) {
        visitStatement(body);
      }
      _implicitReturn();
      b.end();
    }
  