anchor.diff:          let all_fst_files_dep =
               let impl_dep = function
                   | PreferInterface f when Options.cmi() ->
  -                  if has_implementation file_system_map f
  +                  if has_implementation deps.file_system_map f
  +                  && List.contains f deps.interfaces_with_inlining
                     then UseImplementation f
                     else PreferInterface f
                   | d -> d
  
positive.code:   in
    let all_files = topological_dependences_of all_cmd_line_files in
    all_files,
    Mk (dep_graph, file_system_map, all_cmd_line_files, all_files)
  
  let deps_of (Mk (deps, file_system_map, all_cmd_line_files, _)) (f:file_name)
      : list<file_name> =
      dependences_of file_system_map deps all_cmd_line_files f
  
  let hash_dependences (Mk (deps, file_system_map, all_cmd_line_files, _)) fn =
      let fn =
          match FStar.Options.find_file fn with
          | Some fn -> fn
  
negative.code:   then add_dep mo_roots (UseImplementation mname);
    collect_module ast;
    (* Util.print2 "Deps for %s: %s\n" filename (String.concat " " (!deps)); *)
    !deps, !mo_roots, !has_inline_for_extraction
  
  
  (* JP: it looks like the code was changed but the comments were never updated.
  