anchor.diff:    }
   
     String visitTypeInfoReadRaw(HTypeInfoReadRaw node) {
  -    return "TypeInfoReadRaw";
  +    var inputs = node.inputs.map(temporaryId).join(', ');
  +    return "TypeInfoReadRaw: $inputs";
     }
   
     String visitTypeInfoReadVariable(HTypeInfoReadVariable node) {
  -    return "TypeInfoReadVariable ${node.variable}";
  +    return "TypeInfoReadVariable: "
  +        "${temporaryId(node.inputs.single)}.${node.variable}";
     }
   
     String visitTypeInfoExpression(HTypeInfoExpression node) {
  -    return "TypeInfoExpression ${node.kindAsString} ${node.dartType}";
  +    var inputs = node.inputs.map(temporaryId).join(', ');
  +    return "TypeInfoExpression: ${node.kindAsString} ${node.dartType}"
  +        " ($inputs)";
     }
   
     String visitReadTypeVariable(HReadTypeVariable node) {
  -    return "ReadTypeVariable: ${node.dartType} ${node.hasReceiver}";
  +    var inputs = node.inputs.map(temporaryId).join(', ');
  +    return "ReadTypeVariable: ${node.dartType} ${node.hasReceiver} $inputs";
     }
   
     String visitFunctionType(HFunctionType node) {
  -    return "FunctionType: ${node.dartType}";
  +    var inputs = node.inputs.map(temporaryId).join(', ');
  +    return "FunctionType: ${node.dartType} $inputs";
     }
   
     String visitVoidType(HVoidType node) {
  
positive.code:   }
  
    String visitTypeConversion(HTypeConversion node) {
      assert(node.inputs.length <= 2);
      String otherInput =
          (node.inputs.length == 2) ? temporaryId(node.inputs[1]) : '';
      return "TypeConversion: ${temporaryId(node.checkedInput)} to "
          "${node.instructionType} $otherInput";
    }
  
    String visitTypeKnown(HTypeKnown node) {
  
negative.code:     return handleGenericInvoke("InvokeConstructorBody", target, invoke.inputs);
    }
  
    String visitForeignCode(HForeignCode node) {
      var template = node.codeTemplate;
      String code = '${template.ast}';
      var inputs = node.inputs.map(temporaryId).join(', ');
      return "ForeignCode: $code ($inputs)";
    }
  
    String visitLess(HLess node) => handleInvokeBinary(node, 'Less');
  