Global Value Numbering using Random Interpretation ( Full version )