Code for my BTP on Global Value Numbering