@Nullable
  @Override
  public DfType tryNegate() {
    return switch (this) {
      case UNKNOWN -> null;
      case OPEN -> CONSUMED;
      case CONSUMED -> OPEN;
    };
  }
@Nullable
  @Override
  public DfType tryNegate()