anchor.diff:    end
     else
         let deps     : ref<(list<dependence>)> = BU.mk_ref [] in
  -      let mo_roots : ref<(list<dependence>)> = BU.mk_ref [] in
         let has_inline_for_extraction = BU.mk_ref false in
         let set_interface_inlining () =
             if is_interface filename
  
positive.code:                                       all_command_line_files
                                        filename);
              (* Mutate the graph (to mark the node as visited) *)
              deps_add_dep dep_graph filename ({node with edges=direct_deps; color=Black})
        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:      boundaries that can otherwise be exploited to
       build cross-module recursive loops, as in issue #1391
    *)
    let full_cycle_detection all_command_line_files file_system_map =
      let dep_graph = dep_graph_copy dep_graph in
  
      (*
       * The cycle detection code considers all_command_line_files
       *   as roots to perform full cycle detection. As a result,
       *   all command line files, and their transitive dependences
       *   are considered. However, this misses the cycles through .fst
       *   as in the issue #1391, IF only .fsti is given on the command
       *   line. This is even more a problem in invocations like:
       *   fstar A.fsti --dep full, which dumps the .depend, while not
       *   noticing the cycle.
       *
       * A fix for this issue is to record in mo_files the implementations
       *   of command line interfaces whose implementations are not on the
       *   command line, and consider them also for cycle detection.
       *
       * Right now this is done even in the case of fstar A.fsti
       *   we can consider using mo_files only in the case of
       *   --dep invocations.
       *)
      let mo_files : ref<list<string> > = BU.mk_ref [] in
  
  
      let rec aux (cycle:list<file_name>) filename =
          let node =
              match deps_try_find dep_graph filename with
  