Working on Global value numbering