`tmp1/tmp2` are the `expr` corresponding to the occurrence of variable `tmp` (as do for `a1/a2/b1/b2`).