SET:SMT صورة رسم التحليل بواسطة SIAM_