anchor.diff:          match propRes.Status with
           | Undecided ->
             d <- d + 1
  +          prms.Callback.OnPropEval("", workerIdx, n, d)
             if n + d > prms.MinSuccessfulTests && 1 + prms.Workers * int prms.MaxDiscardRatio * n < d then
               res <- Some { Status = Exhausted; Succeeded = n; Discarded = d; FreqMap = fm; Time = 0L }
           | True ->
             n <- n + 1
  +          prms.Callback.OnPropEval("", workerIdx, n, d)
           | Proof ->
             n <- n + 1
             res <- Some { Status = Proved propRes.Args; Succeeded = n; Discarded = d; FreqMap = fm; Time = 0L }
  
positive.code:   FreqMap: FreqMap<obj list>
    Time: int64
  }
  
  [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module Result =
  
negative.code:         finally
            stop := true
  
      let timedRes = { r with Time = DateTime.UtcNow.Ticks - start }
      prms.Callback.OnTestResult("", timedRes)
      timedRes
  
    let run prms p = check prms p |> ignore
  
  