let loc_of_term = M.loc_of_term