Possible correction of for loop scope tracking