void initInstanceOf(Instruction[] instructions) {
    StreamEx.of(instructions).select(InstanceofInstruction.class).map(InstanceofInstruction::getDfaAnchor).into(
      myPotentiallyRedundantInstanceOf);
  }
void initInstanceOf(Instruction[] instructions)