Fix an issue related to loss of origin information during analysis transformations.
Record inverse renames to pretty print the variable names when needed