anchor.diff:      =  let deps     : ref<(list<dependence>)> = BU.mk_ref [] in
          let has_inline_for_extraction = BU.mk_ref false in
   
  +
          let mo_roots =
            let mname = lowercase_module_name filename in
            if is_interface filename
  
positive.code:   match elt with
    | P_begin_module lid -> "P_begin_module (" ^ (string_of_lid lid) ^ ")"
    | P_open (b, lid) -> "P_open (" ^ (string_of_bool b) ^ ", " ^ (string_of_lid lid) ^ ")"
    | P_open_module_or_namespace (k, lid) -> "P_open_module_or_namespace (" ^ (str_of_open_kind k) ^ ", " ^ (string_of_lid lid) ^ ")"
    | P_dep (b, lid) -> "P_dep (" ^ (string_of_lid lid) ^ ", " ^ (string_of_bool b) ^ ")"
    | P_alias (id, lid) -> "P_alias (" ^ (string_of_id id) ^ ", " ^ (string_of_lid lid) ^ ")"
    | P_lid lid -> "P_lid (" ^ (string_of_lid lid) ^ ")"
  
negative.code:          end
         in
  
         let record_open_namespace lid (implicit_open:bool) =
           let key = lowercase_join_longident lid true in
           let r = enter_namespace original_map working_map key implicit_open in
           if not r then
             FStar.Errors.log_issue (range_of_lid lid)
               (Errors.Warning_ModuleOrFileNotFoundWarning, (Util.format1 "No modules in namespace %s and no file with \
  