Bug fix in ExceptionHandling evaluation