Symbol: tpe_intersect_constraint