REN-VAR-X1 : INFOREN-VAR-X1 is a flag setting or other piece of information.
A flag setting for REN-VAR-FN.
This is the standard renaming function. It renames y to y^1,
then to y^2, and so on. If there is another variable y, of a different
type, it makes no difference.
TPS documentation homepage