$f=is_nonempty_map($x)
