anchor.diff:  
   (***include-output: expectDivideByZero***)
     
  -(**This functionality is not available in the fluent API.
  +(**
  +This functionality is not available in the C# API.
   
   ## Timed Properties
   
  
positive.code:   |> Prop.trivial (List.length xs = 0)
  Check.Quick insertTrivial
  
  (**    [lang=csharp,file=../csharp/Properties.cs,key=insertTrivial]
  
  Test cases for which the condition is true are classified as trivial, and the proportion of 
  trivial test cases in the total is reported:*)
  
negative.code: the outcome of within. Note that, although within attempts to cancel the thread in which 
  the property is executed, that may not succeed, and so the thread may actually continue to run until the process ends.
  
  This functionality is not available in the C# API.
      
  ## Observing Test Case Distribution
  
  