anchor.diff:      // Exercise system
       let result = sut.SelectMethods(requestType)
       // Verify outcome
  -    Assert.IsAssignableFrom<seq<IMethod>>(result) 
  -    |> ignore
  +    verify <@ typeof<seq<IMethod>>.IsAssignableFrom(result.GetType()) @>
   
   [<Fact>]
   let SelectMethodReturnsMethodWithoutParametersForInterface() =
  
positive.code:     // Exercise system
      let sut = FoqMethodQuery()
      // Verify outcome
      Assert.IsAssignableFrom<IMethodQuery>(sut)
      // Teardown
  
  [<Fact>]
  
negative.code: open Ploeh.TestTypeFoundation
  open System
  open System.Reflection
  open Swensen.Unquote.Assertions
  open Xunit
  open Xunit.Extensions
  
  let private verify = Swensen.Unquote.Assertions.test
  
  [<Fact>]
  let SutIsMethodQuery() =
  