Removed eta_reduce.