Construct valid AssignStatement when inlining.
Set name when making a new variable while inlining.
Correct node label generation.
Fix pass node removal algorithm, and fix Flatten tests.