Made 'for in' check source code more readable

The verbosity of the source code for the 'for in' check was increased. For this purpose comments were added and variables were renamed.