3.11 Directive OPTION RENAMEKEYWORD
This option allows to rename a keyword, so it can be used under a
different name. Syntax:
- OPTION RENAMEKEYWORD:<current_name>=new_name
current_name is the current name of the keyword and must be
enclosed in angle brackets.
new_name must be a valid identifier.
If a keyword is to be renamed, it should be done at the beginning
of the source, and a keyword shouldn't be renamed multiple times.
Since v2.11, a keyword may be renamed temporarily and multiple times.