Value numbering (27/48)

Value numbering