Value numbering utilities


Value numbering utilities