Value numbering (5/48)

Value numbering