List<DfaInstructionState> (@NotNull PsiElement psiBlock, @NotNull Collection<? extends DfaMemoryState> memStates, @NotNull ControlFlow flow) { DfaVariableValue assertionStatus = AssertionDisabledDescriptor.getAssertionsDisabledVar(myValueFactory); if (assertionStatus != null && myIgnoreAssertions != ThreeState.UNSURE) { DfaCondition condition = assertionStatus.eq(DfTypes.booleanValue(myIgnoreAssertions.toBoolean())); for (DfaMemoryState state : memStates) { state.applyCondition(condition); } } return ContainerUtil.map(memStates, s -> new DfaInstructionState(flow.getInstruction(0), s)); }