analyse emptiness for comprehensions #544