Value numbering expressions
