Checker test for testing checked cast elimination.