Added checking for dead code in for loops

We used to not visit the for/while loop body statements, but then I
realized that we can still visit them to check for dead code within the
for loop, we just can’t actually use the returned boolean of the visit
because we can’t assume that loops get executed at all.