Value numbering (12/48)

Value numbering