let inner_loc loc = M.term_of_loc (mloc_of_loc loc)