An efficient method of computing static single assignment form | Synapse