references to for-statement loop-variables in where-expressions