}
With exception handling techniques such as try/catch, the declaration of a catch
effectively defines a HANDLE-AFTER action for an exceptional condition. In these cases,
at this layer, there often is no explicit CHECK-BEFORE, HANDLE-BEFORE, or CHECKAFTER. The implementation of exception handling performs these tasks at a lower level