anchor.diff:          set_bool_option "print_effect_args" pea;
           set_bool_option "print_full_names " pf
       in
  -    let base = get () in
  +    let bas = get () in
       let rec go (cur : list<bool>) =
           match () with
           (* give up, nothing more we can do *)
  
positive.code:             | _ ->
                  go (succ cur)
      in
      Options.with_saved_options (fun () -> go base)
  
  (*
   * AR: smt_detail is either an Inr of a long multi-line message or Inr of a short one
  
negative.code: 
          (* skip this configuration, we do not want to disable any flag
           * given by the user *)
          | () when not (blist_leq bas cur) ->
              go (succ cur)
  
          | () ->
  