Do not "leak" ExecutionException to user if root cause is actually an EvalException.
Do not "leak" ExecutionException to user if root cause is actually an
EvalException.

Part of GitHub issue #262
https://github.com/tlaplus/tlaplus/issues/262

[Bug][TLC]

tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus