Symbol: LTL_NUM_ATOM