Dynamic_dead_code_elimination