anchor.diff:  
   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) 
  +let should_print_message m =
  +    should_verify m
  +    && not (List.contains m !admit_fsi)
       && m <> "Prims"
   
  -let set_options = 
  +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
  
positive.code:      (Util.print_string "Wrong argument to codegen flag\n";
        display_usage (specs ()); exit 1)
  and validate_cardinality x = match x with
      | "warn" 
      | "check"
      | "off" -> x
      | _ ->   (Util.print_string "Wrong argument to cardinality flag\n";
  
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 ->
  