Failure = "$fail".
The evaluation of the rest $fail always returns the failure $fail(0).
Env,m,St |- $fail => $fail(0),St