handle_mod_rl
return handle_mod_rl(expr, implied, recurse_cnt, res);
ret = handle_mod_rl(left, right);