tpe_intersect_constraint
tpe_intersect_constraint(tpe, cstr);
tpe_intersect_constraint(&new, tmp->constraint);