Checks that $exception is the value of the current exception, even in nested catch blocks.