Global code motion/global value numbering | Synapse