Symbol: tpe_get_constraint