CheckCast defines its register (changes its type in the VM, not the value)