anchor.diff:    String newContinuationName() => 'k${_continuationCounter++}';
   
     String visitFunctionDefinition(FunctionDefinition node) {
  +    String name = node.element.name;
       names[node.returnContinuation] = 'return';
       String parameters = node.parameters
           .map((Parameter p) {
  
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 visitCreateFunction(CreateFunction node) {
      String function = visit(node.definition);
      return '(CreateFunction $function)';
    }
  
    String visitParameter(Parameter node) {
  