anchor.diff:  
           override this.GetProperties bindingFlags =
               (//save ("props", bindingFlags, None) (fun () -> 
  -                getMembers() 
  -                |> Array.choose (function :? PropertyInfo as m when memberBinds false bindingFlags m.IsStatic m.IsPublic -> Some m | _ -> None)
  -                |> (if hasFlag bindingFlags BindingFlags.DeclaredOnly || this.BaseType = null then id else (fun mems -> Array.append mems (this.ErasedBaseType.GetProperties(bindingFlags)))))
  +                let staticOrPublic =
  +                    getMembers() 
  +                    |> Array.choose (function :? PropertyInfo as m when memberBinds false bindingFlags m.IsStatic m.IsPublic -> Some m | _ -> None)
  +                staticOrPublic 
  +                |> (if hasFlag bindingFlags BindingFlags.DeclaredOnly || this.BaseType = null
  +                    then id
  +                    else (fun mems -> Array.append mems (this.ErasedBaseType.GetProperties(bindingFlags)))))
   
           override this.GetEvents bindingFlags =
               (//save ("events", bindingFlags, None) (fun () -> 
  
positive.code:         override this.MethodHandle = notRequired this "MethodHandle" genericMethodDefinition.Name
          override this.Invoke(_obj, _invokeAttr, _binder, _parameters, _culture) = notRequired this "Invoke" genericMethodDefinition.Name
          override this.ReflectedType = notRequired this "ReflectedType" genericMethodDefinition.Name
          override __.GetCustomAttributes(_inherit) = emptyAttributes
          override __.GetCustomAttributes(_attributeType, _inherit) =  emptyAttributes
  
      //--------------------------------------------------------------------------------
      // ProvidedMethod, ProvidedConstructor, ProvidedTypeDefinition and other provided objects
  
negative.code:         override this.GetMethodImplementationFlags() = notRequired this "GetMethodImplementationFlags" this.Name
          override this.Invoke(_obj, _invokeAttr, _binder, _parameters, _culture) = notRequired this "Invoke" this.Name
          override this.ReflectedType = notRequired this "ReflectedType" this.Name
          override __.GetCustomAttributes(inherited) =
              gmd.GetCustomAttributes(inherited)
          override __.GetCustomAttributes(attributeType, inherited) =
              gmd.GetCustomAttributes(attributeType, inherited)
  
          override __.ToString() = gmd.ToString() + "@inst"
  
  