let is_null l = M.is_null (mloc_of_loc l)