Interim functionality: Add warning if while loop variable was not declared yet