Testing for unreachable instructions