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