anchor.diff:        return;
       }
   
  -    buff.write("while (");
  -    buff.write("λbool(");
  +    buff.write("λwhile(λ,");
       visitExpression(statement.condition);
  -    buff.write(")) {");
  +    buff.write(",function(λ){");
       for (var s in statement.block.statements) {
         visitStatement(s);
   
  
positive.code:   }
  
    String generatePostlude() {
      var map = {};
  
      var i = 0;
      for (var n in _names) {
  
negative.code:         buff.write(";");
        }
      }
      buff.write("})");
    }
  
    void visitReturnStatement(ReturnStatement statement) {
  