let term_of_loc l =  M.term_of_loc (mloc_of_loc l)