(builtins.tryEval ((throw "x") < 3)).success