Real global value numbering seems to be working