1Verifies MustDoNullCheck() on InstanceOf and CheckCast
2