Value numbering (22/48)

Value numbering