anchor.diff:       (Util.print_string "Wrong argument to codegen flag\n";
         display_usage (specs ()); exit 1)
   and validate_cardinality x = match x with
  -    | "warn" 
  +    | "warn"
       | "check"
       | "off" -> x
       | _ ->   (Util.print_string "Wrong argument to cardinality flag\n";
  
positive.code:     | _ -> false
  let dep = ref None
  let explicit_deps = Util.mk_ref false
  let init_options () = 
      show_signatures := [];
      norm_then_print := true;
      z3_exe := Platform.exe "z3";
  
negative.code: 
  let dont_gen_projectors m = List.contains m (!__temp_no_proj)
  
  let should_print_message m =
      should_verify m
      && not (List.contains m !admit_fsi)
      && m <> "Prims"
  
  let set_options =
      //The smt option is a security concern
      //only allow it to be set from the command line, not from the build-config
      let no_smt_specs = specs() |> List.filter (fun (_, name, _, _) -> name <> "smt") in
  