Symbol: print_reductions