forgot to handle checkcast stmt