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