Hello Leandro,
I think postconditions should only be able to inspect (in a read-only
manner) the exception; once the postcondition finished executing, the
exception should be propagated as is.
heating up the processor for no effect whatsoever?!
Note also that it is possible, and desired, to use assert statement in conditions;
this statement can throw Error (it is corner case of changing behavior of
program, but we can consider that it is not changing anything, because it
should end the program very fast anyway).
