let mloc_of_loc = function
      | Path p | PRef p | PRpar (p,_) | ARef p | ARpar (p,_) ->
          Lookup.mloc_of_path p
      | Mloc loc -> 
          debug "[mloc_of_loc] already a loc %a" M.pp_loc loc ; loc