DfaMemoryState (@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; }