let is_empty s = (s.find == Map.empty)