anchor.diff:      return "Continue: (B${target.id})";
     }
   
  -  String visitDivide(HDivide node) => handleInvokeBinary(node, '/');
  -
  -  String visitExit(HExit node) => "exit";
  +  String visitDivide(HDivide node) => handleInvokeBinary(node, 'Divide');
  +
  +  String visitExit(HExit node) => "Exit";
   
     String visitFieldGet(HFieldGet node) {
       if (node.isNullCheck) {
  -      return 'null check on ${temporaryId(node.receiver)}';
  +      return 'FieldGet: NullCheck ${temporaryId(node.receiver)}';
       }
       String fieldName = node.element.name;
  -    return 'field get ${temporaryId(node.receiver)}.$fieldName';
  +    return 'FieldGet: ${temporaryId(node.receiver)}.$fieldName';
     }
   
     String visitFieldSet(HFieldSet node) {
       String valueId = temporaryId(node.value);
       String fieldName = node.element.name;
  -    return 'field set ${temporaryId(node.receiver)}.$fieldName to $valueId';
  +    return 'FieldSet: ${temporaryId(node.receiver)}.$fieldName to $valueId';
     }
   
     String visitReadModifyWrite(HReadModifyWrite node) {
  
positive.code: 
    String visitIs(HIs node) {
      String type = node.typeExpression.toString();
      return "TypeTest: ${temporaryId(node.expression)} is $type";
    }
  
    String visitIsViaInterceptor(HIsViaInterceptor node) {
      String type = node.typeExpression.toString();
      return "TypeTest: ${temporaryId(node.inputs[0])} is $type";
    }
  
    String visitTypeConversion(HTypeConversion 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(", ");
  