Explicitly associating towers of exponentiations in the version from the AST to text