Nullity guard doesn't work for inside forEach loop

Question

In the below code, the second guard can\'t assert non-nullity of ab.cv inside the forEach loop, where uncommenting a local identical guard makes it