Can't understand how covergroup sample works

UVM
,
12

My initial question was about covergroup.
I want that b=0 at least once.

Why do I need to use “forever” ? The simulation won’t stop.