Generalized Planning with Loops under Strong Fairness Constraints