range_within
return range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off);
range_within(rold, rcur) &&
return range_within(rold, rcur) &&
rold->off == rcur->off && range_within(rold, rcur) &&