$f=is_empty_map($y)
