public static @NotNull DfaMemoryState createStateWithEnabledAssertions(@NotNull DfaValueFactory factory) {
    final DfaMemoryState initialState = new JvmDfaMemoryStateImpl(factory);
    DfaVariableValue assertionStatus = AssertionDisabledDescriptor.getAssertionsDisabledVar(factory);
    if (assertionStatus != null) {
      initialState.applyCondition(assertionStatus.eq(DfTypes.FALSE));
    }
    return initialState;
  }
public static @NotNull DfaMemoryState createStateWithEnabledAssertions(@NotNull DfaValueFactory factory)