anchor.diff:  
     String visitSetClosureVariable(SetClosureVariable node) {
       String value = names[node.value.definition];
  -    String body = visit(node.body);
  -    return '(SetClosureVariable ${node.variable.name} $value $body)';
  +    String body = _indent(() => visit(node.body));
  +    return '$__(SetClosureVariable ${node.variable.name} $value\n' +
  +                '$body)';
     }
   
     String visitTypeOperator(TypeOperator node) {
       String receiver = names[node.receiver.definition];
       String cont = names[node.continuation.definition];
  -    return '(TypeOperator ${node.operator} $receiver ${node.type} $cont)';
  +    return '$__(TypeOperator ${node.operator} $receiver ${node.type} $cont)';
     }
   
     String visitLiteralList(LiteralList node) {
  
positive.code:           return ' $name';
          })
         .join('');
      String contBody = visit(node.continuation.body);
      String body = visit(node.body);
      String op = node.continuation.isRecursive ? 'LetCont*' : 'LetCont';
      return '($op ($cont$parameters) $contBody) $body';
    }
  
    String formatArguments(Invoke node) {
  
negative.code:     String args = node.arguments.map((v) => names[v.definition]).join(' ');
      String op =
          node.isRecursive ? 'InvokeContinuation*' : 'InvokeContinuation';
      return '$__($op $cont $args)';
    }
  
    String visitBranch(Branch node) {
      String condition = visit(node.condition);
      String trueCont = names[node.trueContinuation.definition];
      String falseCont = names[node.falseContinuation.definition];
      return '$__(Branch $condition $trueCont $falseCont)';
    }
  
    String visitConstant(Constant node) {
  