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:     // Exercise system
      let result = sut.SelectMethods(requestType)
      // Verify outcome
      Assert.IsAssignableFrom<seq<IMethod>>(result) 
      |> ignore
  
  [<Fact>]
  let SelectMethodReturnsMethodWithoutParametersForInterface() =
  
negative.code:     // Exercise system
      let result = (sut.SelectMethods(requestType) |> Seq.head).Parameters
      // Verify outcome
      verify <@ result |> Seq.isEmpty @>
  
  [<Theory>][<PropertyData("TypesWithConstructors")>]
  let MethodsAreReturnedInCorrectOrder (request: Type) =
  