[nem-en] 0000898: 'int' treated as an identifier even ifusedwithout verbatim specifier (@)

[vc]

> But would it work only for variables introduced in matching's  'as'
> pattern? Because if it is for any variable definitions, I don't this
> it is a good idea.

In mi option, bad idea is redefine implicitly any identifier.
I like use spatial syntax for it. For example:
redef int = 1;
But, in case 'as' it's caused many problem and should be banned.