(builtins.tryEval (assert (assert false; true); true)).success