anchor.diff:        in
         List.iter (aux []) all_command_line_files
     in
  -  full_cycle_detection all_cmd_line_files;
  +  if FStar.Options.dep() = Some "full"
  +  then full_cycle_detection all_cmd_line_files;
   
     //only verify those files on the command line
     all_cmd_line_files |>
  
positive.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
      | _ ->
  
negative.code:         let direct_deps, color =
              match deps_try_find dep_graph filename with
              | Some (d, c) -> d, c
              | None ->
                failwith (BU.format1 "Failed to find dependences of %s" filename)
          in
          let direct_deps = direct_deps |> List.collect (fun x ->
              match x with
  