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