@Override
  public boolean eq(@NotNull TypeDfaState e1, @NotNull TypeDfaState e2) {
    return e1 == e2 || e1.contentsEqual(e2);
  }
@Override
  public boolean eq(@NotNull TypeDfaState e1, @NotNull TypeDfaState e2)