def t_ATOM(self, t):
        r'[a-zA-Z_][a-zA-Z_0-9]*'
        t.type = LTLfLexer.reserved.get(t.value, 'ATOM')  # Check for reserved words
        return t
def t_ATOM ( self , t ) : t . type = LTLfLexer . reserved . get ( t . value , 'ATOM' ) return t
r'[a-zA-Z_][a-zA-Z_0-9]*