corrected brackets of reduction testprogs