ivory-backend: forever loops:
 * add declaration of forever loop variable with unused attribute, so the compiler doesn't complain when it's unused (remember, we have a variable so that the model-checker can analyze the language).
 * Put the declaration and loop in it's own block.