RL_HARD
case RL_HARD:
if (implied == RL_HARD)
if (implied == RL_HARD && !estate_has_hard_max(state))
if (implied == RL_HARD || implied == RL_FUZZY)
if (implied == RL_EXACT || implied == RL_HARD)
if (!get_rl_helper(expr, RL_HARD, &rl) || !rl)
(implied == RL_EXACT || implied == RL_HARD || implied == RL_FUZZY))
if (implied == RL_EXACT || implied == RL_HARD)
if (implied == RL_EXACT || implied == RL_HARD)
if (implied != RL_HARD || estate_has_hard_max(state)) {