public static @Nullable DfaVariableValue getAssertionsDisabledVar(DfaValueFactory factory) {
    return factory.getVarFactory().getVariableValue(INSTANCE, null);
  }
public static @Nullable DfaVariableValue getAssertionsDisabledVar(DfaValueFactory factory)