anchor.diff:                  override __.MemberType = enum 0
                   override __.MetadataToken = inp.Token
   
  -                override __.Namespace = null //notRequired "Namespace"
  -                override this.DeclaringType = notRequired "DeclaringType" this.Name
  -                override this.BaseType = null //notRequired "BaseType" this.Name
  -                override this.GetInterfaces() = notRequired "GetInterfaces" this.Name
  -
  -                override this.GetConstructors(_bindingFlags) = notRequired "GetConstructors" this.Name
  -                override this.GetMethods(_bindingFlags) = notRequired "GetMethods" this.Name
  -                override this.GetField(name, _bindingFlags) = notRequired "GetField" this.Name
  -                override this.GetFields(_bindingFlags) = notRequired "GetFields" this.Name
  -                override this.GetEvent(name, _bindingFlags) = notRequired "GetEvent" this.Name
  -                override this.GetEvents(_bindingFlags) = notRequired "GetEvents" this.Name
  -                override this.GetProperties(_bindingFlags) = notRequired "GetProperties" this.Name
  -                override this.GetMembers(_bindingFlags) = notRequired "GetMembers" this.Name
  -                override this.GetNestedTypes(_bindingFlags) = notRequired "GetNestedTypes" this.Name
  -                override this.GetNestedType(name, _bindingFlags) = notRequired "GetNestedType" this.Name
  -                override this.GetPropertyImpl(name, _bindingFlags, _binder, _returnType, _types, _modifiers) = notRequired "GetPropertyImpl" this.Name
  -                override this.MakeGenericType(args) = notRequired "MakeGenericType" this.Name
  +                override __.Namespace = null //notRequired this "Namespace"
  +                override this.DeclaringType = notRequired this "DeclaringType" this.Name
  +                override this.BaseType = null //notRequired this "BaseType" this.Name
  +                override this.GetInterfaces() = notRequired this "GetInterfaces" this.Name
  +
  +                override this.GetConstructors(_bindingFlags) = notRequired this "GetConstructors" this.Name
  +                override this.GetMethods(_bindingFlags) = notRequired this "GetMethods" this.Name
  +                override this.GetField(name, _bindingFlags) = notRequired this "GetField" this.Name
  +                override this.GetFields(_bindingFlags) = notRequired this "GetFields" this.Name
  +                override this.GetEvent(name, _bindingFlags) = notRequired this "GetEvent" this.Name
  +                override this.GetEvents(_bindingFlags) = notRequired this "GetEvents" this.Name
  +                override this.GetProperties(_bindingFlags) = notRequired this "GetProperties" this.Name
  +                override this.GetMembers(_bindingFlags) = notRequired this "GetMembers" this.Name
  +                override this.GetNestedTypes(_bindingFlags) = notRequired this "GetNestedTypes" this.Name
  +                override this.GetNestedType(name, _bindingFlags) = notRequired this "GetNestedType" this.Name
  +                override this.GetPropertyImpl(name, _bindingFlags, _binder, _returnType, _types, _modifiers) = notRequired this "GetPropertyImpl" this.Name
  +                override this.MakeGenericType(args) = notRequired this "MakeGenericType" this.Name
                   override this.MakeArrayType() = ContextTypeSymbol(ContextTypeSymbolKind.SDArray, [| this |]) :> Type
                   override this.MakeArrayType arg = ContextTypeSymbol(ContextTypeSymbolKind.Array arg, [| this |]) :> Type
                   override this.MakePointerType() = ContextTypeSymbol(ContextTypeSymbolKind.Pointer, [| this |]) :> Type
  
positive.code:                     | :? PropertyInfo as that -> this.MetadataToken = that.MetadataToken && eqType this.DeclaringType that.DeclaringType
                      | _ -> false
  
                  override this.GetValue(obj, invokeAttr, binder, index, culture) = notRequired "GetValue" this.Name
                  override this.SetValue(obj, _value, invokeAttr, binder, index, culture) = notRequired "SetValue" this.Name
                  override this.GetAccessors(nonPublic) = notRequired "GetAccessors" this.Name
                  override this.ReflectedType = notRequired "ReflectedType" this.Name
                  override this.GetCustomAttributes(inherited) = notRequired "GetCustomAttributes" this.Name
                  override this.GetCustomAttributes(attributeType, inherited) = notRequired "GetCustomAttributes" this.Name
                  override this.IsDefined(attributeType, inherited) = notRequired "IsDefined" this.Name
  
                  override __.ToString() = sprintf "ctxt property %s(...) in type %s" inp.Name declTy.Name }
  
  
negative.code:         member this.Kind = kind
          member this.Args = typeArgs
  
          override this.GetConstructors _bindingAttr = notRequired this "GetConstructors" this.Name
  
          override this.GetMethodImpl(name, _bindingAttr, _binderBinder, _callConvention, types, _modifiers) =
              match kind with
  