modify loop in term reduction