anchor.diff:            return ' $name';
           })
          .join('');
  -    String contBody = visit(node.continuation.body);
  +    String contBody = _indent(() => visit(node.continuation.body));
       String body = visit(node.body);
       String op = node.continuation.isRecursive ? 'LetCont*' : 'LetCont';
  -    return '($op ($cont$parameters) $contBody) $body';
  +    return '$__($op ($cont$parameters)\n' +
  +               '$contBody)\n' +
  +           '$body';
     }
   
     String formatArguments(Invoke node) {
  
positive.code:     names[node.primitive] = name;
      String value = visit(node.primitive);
      String body = visit(node.body);
      return '(LetPrim $name $value) $body';
    }
  
    String visitLetCont(LetCont node) {
  
negative.code:   }
  
    String visitReifyTypeVar(ReifyTypeVar node) {
      return '$__(ReifyTypeVar ${node.typeVariable.name})';
    }
  
    String visitCreateFunction(CreateFunction node) {
      String function = _indent(() => visit(node.definition));
      return '(CreateFunction\n$function)';
    }
  
    String visitParameter(Parameter node) {
  