anchor.diff:              a
   
       let stubs = HashSet()
  +    let mutable hasStubMember = false
  +    let mutable hasNonStubMember = false
   
       for meth in cls.MembersFunctionsAndValues do
           if meth.IsProperty then () else
  
positive.code: 
          match mAnnot.Kind with
          | Some A.MemberKind.Stub ->
              let memdef = sr.ReadMember meth
              match memdef with
              | Member.Method (isInstance, mdef) ->
  
negative.code:             | Some A.MemberKind.Stub
              | Some (A.MemberKind.Remote _) -> ()
              | Some kind ->
                  hasNonStubMember <- true
                  let memdef = sr.ReadMember meth
  
                  if stubs.Contains memdef then () else
  