check for unreachable code