@Override
  public @Nullable RelationType getRelation(@NotNull DfaValue left, @NotNull DfaValue right) {
    int leftClass = getEqClassIndex(left);
    int rightClass = getEqClassIndex(right);
    if (leftClass == -1 || rightClass == -1) return null;
    if (leftClass == rightClass) return RelationType.EQ;
    return myDistinctClasses.getRelation(leftClass, rightClass);
  }
@Override
  public @Nullable RelationType getRelation(@NotNull DfaValue left, @NotNull DfaValue right)