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