anchor.diff:              then
                   Util.print3 "%s: %s \\\n\t%s\n\n"
                               (output_krml_file file_name)
  -                            (cache_file file_name)
  -                            (String.concat " \\\n\t" all_checked_fst_files)
  +                            (cache_file_name)
  +                            (String.concat " \\\n\t" all_checked_fst_dep_files)
               else
                   Util.print2 "%s: %s \n\n"
                       (output_krml_file file_name)
  -                    (cache_file file_name)
  -          ));
  -    let all_fst_files = keys |> List.filter is_implementation |> Util.sort_with String.compare in
  +                    (cache_file_name))
  +        in
  +        set_of_unchecked_files) (BU.new_set BU.compare) in
  +    let all_fst_files, all_unchecked_fst_files =
  +      keys |> List.filter is_implementation
  +           |> Util.sort_with String.compare
  +           |> (fun l -> l, l |> List.filter (fun f -> BU.set_mem f set_of_unchecked_files)) in
       let all_ml_files =
           let ml_file_map = BU.smap_create 41 in
           all_fst_files
  
positive.code:       Util.print2 "%s: %s\n\n" wasm deps
      ) (smap_keys transitive_krml);
  
      Util.print1 "ALL_FST_FILES=\\\n\t%s\n\n"  (all_fst_files  |> List.map norm_path |> String.concat " \\\n\t");
      Util.print1 "ALL_ML_FILES=\\\n\t%s\n\n"   (all_ml_files   |> List.map norm_path |> String.concat " \\\n\t");
      Util.print1 "ALL_KRML_FILES=\\\n\t%s\n"   (all_krml_files |> List.map norm_path |> String.concat " \\\n\t")
  
  (* In public interface *)
  let print deps =
  
negative.code:                 BU.remove_dups (fun x y -> x = y) (fst_files @ fst_files_from_iface),
                  false
          in
          let all_checked_fst_dep_files = all_fst_files_dep |> List.map (fun f -> f |> cache_file |> fst) in
          let _ = 
            if is_implementation file_name then (
              if Options.cmi()
              && widened
              then begin
                  Util.print3 "%s: %s \\\n\t%s\n\n"
                              (output_ml_file file_name)
                              (cache_file_name)
                              (String.concat " \\\n\t" all_checked_fst_dep_files);
                  Util.print3 "%s: %s \\\n\t%s\n\n"
                              (output_krml_file file_name)
                              (cache_file_name)
                              (String.concat " \\\n\t" all_checked_fst_dep_files)
              end
              else begin
                  Util.print2 "%s: %s \n\n"
                              (output_ml_file file_name)
                              (cache_file_name);
                  Util.print2 "%s: %s\n\n"
                              (output_krml_file file_name)
                              (cache_file_name)
              end;
              let cmx_files =
                  let extracted_fst_files =
  