public static @NotNull DfaVariableValue createAssertionsDisabledVar(DfaValueFactory factory) {
    return factory.getVarFactory().createVariableValue(INSTANCE);
  }
public static @NotNull DfaVariableValue createAssertionsDisabledVar(DfaValueFactory factory)