anchor.diff:          let direct_deps, color =
               match deps_try_find dep_graph filename with
               | Some (d, c) -> d, c
  -            | None -> printfn "Failed to find dependences of %s" filename; failwith "die"
  +            | None ->
  +              failwith (BU.format1 "Failed to find dependences of %s" filename)
           in
           let direct_deps = direct_deps |> List.collect (fun x ->
               match x with
  
positive.code:       in
        List.iter (aux []) all_command_line_files
    in
    full_cycle_detection all_cmd_line_files;
  
    //only verify those files on the command line
    all_cmd_line_files |>
  
negative.code:       add_dep deps (PreferInterface module_name);
        if has_interface original_or_working_map module_name
        && has_implementation original_or_working_map module_name
        && FStar.Options.dep() = Some "full"
        then add_dep mo_roots (UseImplementation module_name);
        true
      | _ ->
  