Numbers are incorrectly highlighted in the name of variables

[nhedger]

Description

When the name of a variable contains a number, the number is incorrectly highlighted differently.

Expected behavior

The whole name of the variable should be highlighted the same.

[nhedger]

Actually, we currently do not have any specific scope for names of variables, which may explain why we see this problem here.