let is_empty m = M.is_empty m