public @NotNull DfaCondition createCondition(@NotNull DfaValue tosValue) {
    return tosValue.cond(myRelation, myCompareTo);
  }
public @NotNull DfaCondition createCondition(@NotNull DfaValue tosValue)