protected final void pushResult(@NotNull DataFlowInterpreter interpreter,
                                  @NotNull DfaMemoryState state,
                                  @NotNull DfaValue value,
                                  @NotNull DfaValue @NotNull ... inputArgs) {
    DfaAnchor anchor = getDfaAnchor();
    if (anchor != null) {
      interpreter.getListener().beforePush(inputArgs, value, anchor, state);
    }
    state.push(value);
  }
protected final void pushResult(@NotNull DataFlowInterpreter interpreter,
                                  @NotNull DfaMemoryState state,
                                  @NotNull DfaValue value,
                                  @NotNull DfaValue @NotNull ... inputArgs)