anchor.diff:            let files = List.map norm_path files in
             let files = List.map (fun s -> replace_chars s ' ' "\\ ") files in
             let files = String.concat "\\\n\t" files in
  +          let cache_file_name, b = cache_file file_name in
  +          let set_of_unchecked_files = if b then set_of_unchecked_files
  +                                       else BU.set_add file_name set_of_unchecked_files
  +          in
   
             //this one prints:
             //   a.fst.checked: b.fst.checked c.fsti.checked a.fsti
             Util.print3 "%s: %s \\\n\t%s\n\n"
  -                      (cache_file file_name)
  +                      cache_file_name
                         norm_f
                         files;
   
  
positive.code:     let output_ml_file f = norm_path (output_file ".ml" f) in
      let output_krml_file f = norm_path (output_file ".krml" f) in
      let output_cmx_file f = norm_path (output_file ".cmx" f) in
      let cache_file f = norm_path (cache_file_name f) in
      let transitive_krml = smap_create 41 in
      keys |> List.iter
          (fun file_name ->
            let dep_node = deps_try_find deps.dep_graph file_name |> Option.get in
            let iface_deps =
                if is_interface file_name
  
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 =
  