$f=is_empty_map($z)
