public boolean isInstanceofRedundant(InstanceofInstruction instruction) {
   return !myUsefulInstanceofs.contains(instruction)
       && !instruction.isConditionConst()
       && myReachable.contains(instruction);
 }