anchor.diff:      return buf.toString();
     }
   
  -  String visitThis(HThis node) => "this";
  -
  -  String visitThrow(HThrow node) => "Throw ${temporaryId(node.inputs[0])}";
  +  String visitThis(HThis node) => "This";
  +
  +  String visitThrow(HThrow node) => "Throw: ${temporaryId(node.inputs[0])}";
   
     String visitThrowExpression(HThrowExpression node) {
  -    return "ThrowExpression ${temporaryId(node.inputs[0])}";
  +    return "ThrowExpression: ${temporaryId(node.inputs[0])}";
     }
   
     String visitTruncatingDivide(HTruncatingDivide node) {
  -    return handleInvokeBinary(node, '~/');
  +    return handleInvokeBinary(node, 'TruncatingDivide');
     }
   
     String visitExitTry(HExitTry node) {
  -    return "Exit try";
  +    return "ExitTry";
     }
   
     String visitTry(HTry node) {
  
positive.code:     return "Boolify: ${temporaryId(node.inputs[0])}";
    }
  
    String handleInvokeBinary(HInvokeBinary node, String op) {
      String left = temporaryId(node.left);
      String right= temporaryId(node.right);
      return '$left $op $right';
    }
  
    String visitAdd(HAdd node) => handleInvokeBinary(node, '+');
  
    String visitBitAnd(HBitAnd node) => handleInvokeBinary(node, '&');
  
    String visitBitNot(HBitNot node) {
      String operand = temporaryId(node.operand);
      return "~$operand";
    }
  
    String visitBitOr(HBitOr node) => handleInvokeBinary(node, '|');
  
    String visitBitXor(HBitXor node) => handleInvokeBinary(node, '^');
  
    String visitBoundsCheck(HBoundsCheck node) {
      String lengthId = temporaryId(node.length);
      String indexId = temporaryId(node.index);
      return "Bounds check: length = $lengthId, index = $indexId";
    }
  
    String visitBreak(HBreak node) {
  
negative.code:     return "If ($conditionId): (B${thenBlock.id}) else (B${elseBlock.id})";
    }
  
    String handleGenericInvoke(String invokeType, String functionName,
                               List<HInstruction> arguments) {
      StringBuffer argumentsString = new StringBuffer();
      for (int i = 0; i < arguments.length; i++) {
        if (i != 0) argumentsString.write(", ");
  