mapping of exceptions to pre- and post conditions