P$1$:

while $($true$)$s

$p=$ true:

while $\text{'}($q $==$ true$)($

$//$Cs

$p=$ false:

J

P$2$:

while $($true$)$

$q=$ true;

while true