protected final void pushResult(@NotNull DataFlowInterpreter interpreter,
                                  @NotNull DfaMemoryState state,
                                  @NotNull DfType value,
                                  @NotNull DfaValue @NotNull ... inputArgs) {
    pushResult(interpreter, state, interpreter.getFactory().fromDfType(value), inputArgs);
  }
protected final void pushResult(@NotNull DataFlowInterpreter interpreter,
                                  @NotNull DfaMemoryState state,
                                  @NotNull DfType value,
                                  @NotNull DfaValue @NotNull ... inputArgs)