Member predicate Expr::getGlobalValueNumber

Gets the global value number of this expression.

Expressions with the same global value number are guaranteed to have the same value at runtime. The converse does not hold in general, that is, expressions with different global value numbers may still have the same value at runtime.