anchor.diff:  let insertWithArb x = Prop.forAll orderedList (fun xs -> ordered(insert x xs))
   Check.Quick insertWithArb
   
  -(**    [lang=csharp,file=../csharp/Properties.cs,key=insertWithArb] *)
  +(**
  +    [lang=csharp,file=../csharp/Properties.cs,key=insertWithArb] *)
   
   (***include-output:insertWithArb***)
   
  
positive.code:     |> Prop.collect (List.length xs)
  Check.Quick insertCombined
  
  (**    [lang=csharp,file=../csharp/Properties.cs,key=insertCollect]*)
  
  (***include-output:insertCombined***)
  
  
negative.code: let insertKeepsOrder (x:int) xs = ordered xs ==> ordered (insert x xs)
  Check.Quick insertKeepsOrder
  
  (**
      [lang=csharp,file=../csharp/Properties.cs,key=insertKeepsOrder]    *)
  
  (***include-output:insertKeepsOrder***)
  
  