anchor.diff:      | None -> false
       | Some (_, flag) -> flag
   
  +let matches_namespace_filter_opt m =
  +  function
  +  | None -> false
  +  | Some filter -> module_matches_namespace_filter m filter
  +
   
   let should_extract m =
       let m = String.lowercase m in
  
positive.code:     | "z3seed"
      | "trivial_pre_for_unannotated_effectful_fns"
      | "profile_group_by_decl"
      | "profile_phase"
      | "profile_module" -> true
      | _ -> false
  
  let all_specs = specs ()
  
negative.code: let debug_any                    () = get_debug () <> []
  let debug_module        modul       = (get_debug () |> List.existsb (module_name_eq modul))
  let debug_at_level      modul level = (get_debug () |> List.existsb (module_name_eq modul)) && debug_level_geq level
  let profile_group_by_decls       () = get_profile_group_by_decl ()
  let defensive                    () = get_defensive () <> "no"
  let defensive_fail               () = get_defensive () = "fail"
  let dep                          () = get_dep                         ()
  