anchor.diff:          aux all_extracted_modules;
           List.rev !order
       in
  -    let keys = deps_keys deps in
  +    let keys = deps_keys deps.dep_graph in
       let output_file ext fst_file =
           let ml_base_name = replace_chars (Option.get (check_and_strip_suffix (BU.basename fst_file))) '.' "_" in
           Options.prepend_output_dir (ml_base_name ^ ext)
  
positive.code: 
      Deprecated: this will print the dependences among the source files
    *)
  let print_make (Mk (deps, file_system_map, all_cmd_line_files, _)) : unit =
      let keys = deps_keys deps in
      keys |> List.iter
          (fun f ->
  
negative.code:     let transitive_krml = smap_create 41 in
      keys |> List.iter
          (fun f ->
            let f_deps, _ = deps_try_find deps.dep_graph f |> Option.get in
            let iface_deps =
                if is_interface f
                then None
                else match interface_of deps.file_system_map (lowercase_module_name f) with
                     | None ->
                       None
                     | Some iface ->
                       Some (fst (Option.get (deps_try_find deps.dep_graph iface)))
            in
            let iface_deps =
                BU.map_opt iface_deps
  