anchor.diff:      ** backend
   
   /// Runs Starling with the given options, and outputs the results.
  -let mainWithOptions options =
  +let mainWithOptions (options : Options) : int =
       _configRef := options
       let config = config ()
   
  
positive.code:                         opts)
                 { Approx = false; Reals = false }
  
      let backend m =
          let phase op response =
              let time = System.Diagnostics.Stopwatch.StartNew()
  
negative.code:              (fun { Cmd = c; WPre = w; Goal = g } ->
                    Core.Expr.mkImplies (Core.Expr.mkAnd2 c w) g))
          res
  
  /// <summary>
  ///     Type of the backend parameter structure.
  