Relational interpretation of strategy trees for (ErrorT (State S)).