\brief Guard a stack range that properly contains the return value storage for a call The full range is assumed to have a related value \e before the call. The pieces on either side of the return value storage, or extracted via SUBPIECE, they flow through the call via INDIRECT, then they rejoin together with the return storage via one or more PIECE operations. \param callOp is the call being gua
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected