Add constraint pool definition