\brief Mark an operation where original data-flow is being pushed into a subgraph variable The operation is not manipulating the logical value, but it produces a variable containing the logical value. The original op will not change but will just produce a smaller value. \param pushOp is the operation to mark \param rvn is the output variable holding the logical value
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected