)$ [**Then**]{}  $true$;  $Inputs := \{\alpha|(s_0,\alpha\beta, s^\prime)\in E\}$;  $\alpha\in Inputs$ [**Do**]{}  $Experiment(X, reset\pi)$;  $\beta := Experiment(X, \alpha)$;  $\exists s^\prime:(s_0,\alpha\beta, s^\prime)\in E$ [**Then**]{}  $Test