CheckCast exceptions instrumented