Better models for exceptions thrown by uninstrumented callees.