I think there should be a warning for text that is after return but isn't on a different syntax level...for example

Should get a warning telling the coder that blah2's statements will do nothing, because return exits the proc, while


will not show that warning, because blah2 is now outside of the if statement, which means it will do something if the if statement isnt entered.

Basically, what I'm trying to say is that I think you should add this warning to tell coders that they either
A) Indented wrong
or
B) Inputed code that will do nothing. (Because it is after the return with the same syntax (tabs/spaces))