Adding partial support for trace file verification of caught exceptions.