1 2 3 4 5 6 7 8 9
x = 1; y = 2; X_INTRODUCED_0_ = 3; ---------- x = 3; y = 3; X_INTRODUCED_0_ = 6; ---------- ==========