void (@NotNull DfaValue @NotNull [] args, @NotNull DfaValue value, @NotNull DfaAnchor anchor, @NotNull DfaMemoryState state) { if (anchor instanceof JavaExpressionAnchor && ((JavaExpressionAnchor)anchor).getExpression() == expression) { Set<DfaVariableValue> vars = result.keySet(); StreamEx.of(vars) .filter(v -> DfaNullability.fromDfType(state.getDfType(v)) != DfaNullability.NOT_NULL) .toSetAndThen(vars::removeAll); } }