let yynames_const = "LTL_TRUE\000LTL_FALSE\000LTL_LPAREN\000LTL_RPAREN\000LTL_OR\000LTL_IMPLIES\000LTL_LEFT_RIGHT_ARROW\000LTL_AND\000LTL_NOT\000LTL_GLOBALLY\000LTL_FATALLY\000LTL_UNTIL\000LTL_RELEASE\000LTL_NEXT\000LTL_EQ\000LTL_LT\000LTL_GT\000LTL_LE\000LTL_GE\000LTL_NEQ\000LTL_PLUS\000LTL_MINUS\000LTL_DIV\000LTL_STAR\000LTL_MODULO\000LTL_RIGHT_ARROW\000LTL_DOT\000LTL_LEFT_SQUARE\000LTL_RIGHT_SQUARE\000LTL_ADRESSE\000LTL_CALL\000LTL_RETURN\000LTL_CALL_OR_RETURN\000EOF\000"