Extraction: inline more proxy variables
This removes most of the remaining proxy variables in extracted code. In particular, proxy variables in reference assignments are now inlined more liberally.
This removes most of the remaining proxy variables in extracted code. In particular, proxy variables in reference assignments are now inlined more liberally.