cut_elimination