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