anchor.diff:          BU.smap_fold dg (fun filename (dependences, color) () ->
               BU.smap_add dg' filename (widen_deps friends dependences, color)) ();
           if Options.debug_any()
  -        then BU.print_string "==============Phase2==================";
  +        then BU.print_string "==============Phase2==================\n";
           all_friend_deps (Deps dg') [] ([], []) root_files
       in
       if Options.debug_any()
  -    then BU.print1 "Phase2 complete: all_files = %s" (String.concat ", " all_files);
  +    then BU.print1 "Phase2 complete: all_files = %s\n" (String.concat ", " all_files);
       all_files,
       !widened
   
  
positive.code:         all_friends, all_files
      | White ->
          if Options.debug_any()
          then BU.print2 "Visiting %s: direct deps are %s"
                  filename
                  (String.concat ", " (List.map dep_to_string direct_deps));
          (* Unvisited. Compute. *)
  
negative.code:            order
      *)
      if Options.debug_any()
      then BU.print_string "==============Phase1==================\n";
      let friends, all_files_0 =
          all_friend_deps (dep_graph_copy dep_graph) [] ([], []) root_files
      in
      if Options.debug_any()
      then BU.print1 "Phase1 complete: all_files = %s\n" (String.concat ", " all_files_0);
      let widened = BU.mk_ref false in
      let widen_deps friends deps =
          deps |> List.map (fun d ->
  