\brief Find a replacement Varnode for the output of the given PcodeOp that is read in the given block The replacement Varnode must be valid for everything below (dominated) by the block. If we can't find a replacement, create one (as a MULTIEQUAL) in the given block (creating recursion through input blocks). Any new Varnode created is cached in the \b replacement array so it can get picked up by
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected