This test relies on the correct behavior of instance-of to test check-cast behavior,
as shown below:
CCE throw| InstanceOf | Correct?
---------+------------+----------
1 | 0 | OK
1 | 1 | BAD
0 | 0 | BAD
0 | 1 | OK