Do copy propagation. Copy propagation elems are of the form OPvar=OPvar, and they are in go.expnod[].
See Implementation
Do copy propagation. Copy propagation elems are of the form OPvar=OPvar, and they are in go.expnod[].