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