Debugging uniqval2