anchor.diff:            return name;
           })
           .join(' ');
  -    return '(FunctionDefinition ($parameters return) ${visit(node.body)})';
  +    String body = visit(node.body);
  +    return '(FunctionDefinition $name ($parameters return) $body)';
     }
   
     String visitLetPrim(LetPrim node) {
  
positive.code:   String visitDeclareFunction(DeclareFunction node) {
      String function = visit(node.definition);
      String body = visit(node.body);
      return '(DeclareFunction ${node.variable} = $function in $body)';
    }
  
    String visitIsTrue(IsTrue node) {
  
negative.code:   String newContinuationName() => 'k${_continuationCounter++}';
  
    String visitFunctionDefinition(FunctionDefinition node) {
      String name = node.element.name;
      names[node.returnContinuation] = 'return';
      String parameters = node.parameters
          .map((Parameter p) {
  