upto trans_constraint