Illegal reference to FORALL alias variable: <name>

You referred to a name that was previously used as the reference variable in a ForAll reference variable. You referred to that variable outside of the ForAll loop. ForAll reference variables may not be referred to outside of a ForAll loop.

Remove the reference to the variable.