Efficiently computing static single assignment form and the control dependence graph | Synapse