abt
Clones the given variable.
TODO: Better description.
Generates a fresh variable tagged with a name.