anchor.diff:  let mainWithOptions opts = 
       let input = opts.input
       let raw = opts.raw
  +    let optimise = not opts.noOptimise
       
       let starlingR = 
           match (requestFromStage opts.stage) with
  -        | Some otype -> runStarling otype input
  +        | Some otype -> runStarling optimise otype input
           | None -> fail Error.BadStage
       
       let pfn = 
  
positive.code:       raw : bool
        [<Option('s', HelpText = "The stage at which Starling should stop and output.")>]
        stage : string option
        [<Value(0, MetaName = "input", HelpText = "The file to load (omit, or supply -, for standard input).")>]
        input : string option }
  
  
negative.code:         >> termGen
          >> reify
          >> flatten
          >> maybeOptimise
          >> z3 rq
          >> lift Response.Z3
      | Request.HSF ->
  