Copy print_dead_code to control.ml