Eliminating unreachable code implemented