anchor.diff:  
       [<Property>]
       let ``Fun pattern works``(Fun (f:bool->bool)) =
  -        let a = f true
  -        let b = f false
  +        let _ = f true
  +        let _ = f false
           true =! true
   
       [<Property>]
  
positive.code: 
      [<Fact>]
      let ``Derive generator for concrete class with one constructor with no parameters``() =
          generate<Empty> |> sample 10 |> List.forall (fun _ -> true)
  
      type IntWrapper(a: int) = class end
  
      [<Fact>]
      let ``Derive generator for concrete class with one constructor with one parameter``() =
          generate<IntWrapper> |> sample 10 |> List.forall (fun _ -> true)
  
      type FakeRecord(a: int, b: string) =
          member this.A = a
          member this.B = b
  
      [<Fact>]
      let ``Derive generator for concrete class with one constructor with two parameters``() =
          generate<FakeRecord> |> sample 10 |> List.forall (fun _ -> true)
  
  
negative.code:         
      [<Property>]
      let ``Array2D shrinks to smaller array or smaller elements`` (value:int[,]) =
          let existsSmallerElement v = 
              let result = ref false
              Array2D.iteri (fun i j elem -> result := (!result || abs elem <= abs value.[i,j])) v
              !result
  