check for unreachable code (after a return)