1Codifies that the verifier should reject type-unsafe 2instructions in dead code after aget on null, but pass 3type-safe dead code. 4 5Previously verification stopped after aget on null and 6punted the method to the interpreter in an effort to avoid 7compiler crashes. As broken code appears very uncommon, 8ensure verifier strictness and help the compilers see more 9code. 10