anchor.diff:              typeof<AStaticClass>.GetProperty("WriteOnlyProperty") :> MemberInfo 
           ]
           |> Seq.map (fun element -> TestCase (fun _ -> sut.Verify(element)))
  -        |> Seq.toArray
   
       [<FirstClassTests>]
       let VerifyMembersWithReturnValueDoesNotThrow () =
  
positive.code:         ]
          |> Seq.map (fun element -> TestCase (fun _ -> 
              raises<ReturnValueMustNotBeNullException> <@ sut.Verify(element) @>))
          |> Seq.toArray
  
negative.code:             typeof<AStaticClass>.GetMethod("MethodWithReturnValue") :> MemberInfo 
          ]
          |> Seq.map (fun element -> TestCase (fun _ -> sut.Verify(element)))
  
      [<FirstClassTests>]
      let VerifyMembersWithNullReturnValueThrows () =
  