1This test relies on the correct behavior of instance-of to test check-cast behavior,
2as shown below:
3
4
5CCE throw| InstanceOf | Correct?
6---------+------------+----------
7      1  |     0      |    OK
8      1  |     1      |    BAD
9      0  |     0      |    BAD
10      0  |     1      |    OK