RV_MAX_LTL_ATOM
DECLARE_BITMAP(atoms, RV_MAX_LTL_ATOM);
DECLARE_BITMAP(unknown_atoms, RV_MAX_LTL_ATOM);
static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);
static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);