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: 
  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
  
negative.code:                 Some path
                else
                  None))
      with _ ->
        None
  
  let prims () = match !prims_ref with
    | None ->
      (let filen = "prims.fst" in
      match find_file filen with
      | Some result ->
  