anchor.diff:          sut.SelectMethods(request)
           |> Seq.map(fun ci -> ci.Parameters)
       // Verify outcome
  -    Assert.True(
  -        expected |> Seq.forall(fun expectedParameters -> 
  -            result |> Seq.exists(fun resultParameters -> 
  -                expectedParameters = 
  -                    (resultParameters |> Seq.toArray))))
  +    verify
  +        <@ expected |> Seq.forall(fun expectedParameters -> 
  +               result |> Seq.exists(fun resultParameters -> 
  +                   expectedParameters = 
  +                       (resultParameters |> Seq.toArray))) @>
       // Teardown
   
   let TypesWithConstructors : seq<Type[]> = 
  
positive.code: open Ploeh.TestTypeFoundation
  open System
  open System.Reflection
  open Xunit
  open Xunit.Extensions
  
  [<Fact>]
  let SutIsMethodQuery() =
  
negative.code:     // Fixture setup
      let sut = FoqMethodQuery()
      // Exercise system and verify outcome
      raises<ArgumentNullException> <@ sut.SelectMethods(null)|> ignore @>
  
  [<Fact>]
  let SelectMethodReturnsMethodForInterface() =
  