t_is_32
struct range z = t_is_32(init_t) ? unkn_subreg(t) : unkn[t];
if (t_is_32(x_t)) {
if (t_is_32(x_t) == t_is_32(y_t))
if (t_is_32(y_t) && !t_is_32(x_t)) {