@Contract("null -> false")
  public static boolean isContractFail(DfaValue value) {
    return value instanceof DfaTypeValue && value.getDfType() == DfType.FAIL;
  }
@Contract("null -> false")
  public static boolean isContractFail(DfaValue value)