$f=is_nonempty_map($y)
