$f=is_empty_map($x)
