anchor.diff:      let transitive_krml = smap_create 41 in
       keys |> List.iter
           (fun file_name ->
  -          let f_deps, _ = deps_try_find deps.dep_graph file_name |> Option.get in
  +          let dep_node = deps_try_find deps.dep_graph file_name |> Option.get in
             let iface_deps =
                 if is_interface file_name
                 then None
  
positive.code:     : list<file_name> =
      match deps_try_find deps fn with
      | None -> empty_dependences
      | Some (deps, _) ->
        List.map (file_of_dep file_system_map all_cmd_line_files) deps
  
  let print_graph (graph:dependence_graph) =
  
negative.code:     let keys = deps_keys deps in
      keys |> List.iter
          (fun f ->
            let dep_node = deps_try_find deps f |> Option.get in
            let files = List.map (file_of_dep file_system_map all_cmd_line_files) dep_node.edges in
            let files = List.map (fun s -> replace_chars s ' ' "\\ ") files in
            //this one prints:
            //   a.fst: b.fst c.fsti a.fsti
  