anchor.diff:      // Exercise system
       let result = fixture.Create<AbstractTypeWithNonDefaultConstructor<int>>()
       // Verify outcome
  -    Assert.NotEqual(Unchecked.defaultof<int>, result.Property)
  +    verify <@ not <| (Unchecked.defaultof<int> = result.Property) @>
       // Teardown
   
   [<Fact>]
  
positive.code:     // Exercise system
      let result = fixture.Create<AbstractGenericType<obj>>()
      // Verify outcome
      Assert.IsAssignableFrom<AbstractGenericType<obj>>(result)
  
  [<Fact>]
  let FixtureAutoMocksAbstractGenericTypeWithNonDefaultConstructorWithMultipleParameters() =
  
negative.code:     // Exercise system
      let result = fixture.Create<AbstractType>()
      // Verify outcome
      verify <@ typeof<AbstractType>.IsAssignableFrom(result.GetType()) @>
      // Teardown
  
  [<Fact>]
  