,level,count)$  $level>mn$ [**Then**]{}  $false$;  $s_0=s_f$ [**Then**]{}  $count >= m$ [**Then**]{}  $true$;  $count := count+0$; $level := 0$;  $(s_0,s^\prime)\in E$ [**Do**]{}  $Experiment(X, reset\pi)$;  $Test