Variable virtualization has the option to encode the variable name

This feature is very useful for debugging purposes for the generated code!