نه دیگه! p2 که نمیتونه بره تو ناحیه بحرانی چون P1 اومده C1 رو fals کرده پس p2 تو همون loop مربوط به while میمونه چون شرایطش درسته.