Thanks, I agree, try/catch doesn’t make much sense in this way in Daml Script.
The limitation of submitMustFail (or assertFail for that matter) is that it cannot extract the error message from the update, but it seems I have to make do with what we have.