Global value numbers and redundant computations | Synapse