It employs a similar idea. Track the set of in scope variables and use them to unique variables on collision.