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