tnum_in
bool tnum_in(struct tnum a, struct tnum b);
tnum_in(enforce_attach_type_range, reg->var_off))
return range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off);
tnum_in(rold->var_off, rcur->var_off) &&
tnum_in(rold->var_off, rcur->var_off);
tnum_in(rold->var_off, rcur->var_off);