Debugging DSPSR as it is not folding correctly