StreamEx<DfaAnchor> redundantInstanceOfs() {
    return StreamEx.of(myPotentiallyRedundantInstanceOf).filter(anchor -> myConstantInstanceOf.get(anchor) == ThreeState.UNSURE);
  }
StreamEx<DfaAnchor> redundantInstanceOfs()