Module leo_passes::dead_code_elimination::eliminate_program