anchor.diff:      : list<file_name>
       * bool =
   
  -    if Options.debug_any()
  -    then BU.print_string "==============Phase1==================\n";
  -    let widened = false in
  -    let widened, dep_graph =
  -      if Options.cmi()
  -      && for_extraction
  -      then widen_deps interfaces_needing_inlining dep_graph file_system_map widened
  -      else widened, dep_graph
  -    in
  -    topological_dependences_of' file_system_map dep_graph interfaces_needing_inlining root_files for_extraction widened
  +    let widened, dep_graph = phase1 file_system_map dep_graph interfaces_needing_inlining for_extraction in
  +    topological_dependences_of' file_system_map dep_graph interfaces_needing_inlining root_files widened
   
   (** Collect the dependencies for a list of given files.
       And record the entire dependence graph in the memoized state above **)
  
positive.code:     all_files,
      widened
  
  let topological_dependences_of
          file_system_map
          dep_graph
  
negative.code:         dep_graph
          interfaces_needing_inlining
          root_files
          widened
      : list<file_name>
      * bool =
  