Failures failure restfailure
Syntax 
Failure =
     "$fail".
Evaluation

The evaluation of the rest $fail always returns the failure $fail(0).

Env,m,St |- $fail => $fail(0),St