fixed bug #10: added possibility to have an identifier consisting of only underscores