Note question 6: Partition based value-numbering = global value numbering