Making forward references actually work, step 3:
At the end, replace chains of forward references with the corresponding xt.