SVA for checking fairness of Round-Robin Arbiter

In reply to MLearner:

Why we need to use genvar her and not simple for loop. what happen if we use simple for loop?