anchor.diff:  
           match item with
           | Item.Value vref ->
  -            match vref.MemberInfo with
  -            | Some memberInfo ->
  -                writeString ItemKeyTags.itemValueMember
  -                writeEntityRef memberInfo.ApparentEnclosingEntity
  -                writeString vref.LogicalName
  -                writeType vref.Type
  -            | _ ->
  -                writeString ItemKeyTags.itemValue
  -                writeValRef vref
  +            writeValRef vref
   
           | Item.UnionCase(info, _) -> 
               writeString ItemKeyTags.typeUnionCase
  
positive.code:                 |> List.iter writeILType
                  writeILType info.ILMethodRef.ReturnType
                  writeString info.ILName
                  writeType info.ApparentEnclosingType
              | _ ->
                  writeString "m$"
                  writeEntityRef info.DeclaringTyconRef
                  writeString info.LogicalName
  
  
negative.code:                 writeEntityRef tcref
                  writeString nm
  
      and writeMeasure isStandalone (ms: Measure) =
          match ms with
          | Measure.Var typar -> 
              writeString ItemKeyTags.typeMeasureVar
              writeTypar isStandalone typar
          | Measure.Con tcref -> 
              writeString ItemKeyTags.typeMeasureCon
              writeEntityRef tcref
          | _ ->
              ()
  
      and writeTypar (isStandalone: bool) (typar: Typar) =
          match typar.Solution with
          | Some ty -> writeType isStandalone ty
          | _ -> 
              if isStandalone then
                  writeInt64 typar.Stamp
  
      let writeValRef (vref: ValRef) =
          match vref.MemberInfo with
          | Some memberInfo ->
              writeString ItemKeyTags.itemValueMember
              writeEntityRef memberInfo.ApparentEnclosingEntity
              writeString vref.LogicalName
              writeString ItemKeyTags.parameters
              writeType false vref.Type
          | _ ->
              writeString ItemKeyTags.itemValue
              writeString vref.LogicalName
              writeString ItemKeyTags.parameters
              writeType false vref.Type
              match vref.DeclaringEntity with
              | ParentNone -> writeChar '%'
              | Parent eref -> writeEntityRef eref
  