@NotNull
  public DfaHint merge(@NotNull DfaHint other) {
    if (other == this) return this;
    if (this.myValue && other.myValue) return ANY_VALUE;
    if (this.myValue) return other;
    if (other.myValue) return this;
    if (this == CCE && other == NPE || this == NPE && other == CCE) return NPE;
    return NONE;
  }
@NotNull
  public DfaHint merge(@NotNull DfaHint other)