ترجم
constraint analysis