Correct placement of DEBUG code for alias set checking