@Override
      public void beforePush(@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);
        }

      }
@Override
      public void beforePush(@NotNull DfaValue @NotNull [] args,
                             @NotNull DfaValue value,
                             @NotNull DfaAnchor anchor,
                             @NotNull DfaMemoryState state)