@Override
    public @NotNull DfaCondition negate() {
      if (this == TRUE) return FALSE;
      if (this == FALSE) return TRUE;
      return UNKNOWN;
    }
@Override
    public @NotNull DfaCondition negate()