\brief Trim the input HighVariable of the given PcodeOp so that its Cover is tiny The given PcodeOp is assumed to force merging so that input and output Covers shouldn't intersect. A new COPY is inserted right before the given PcodeOp with a new \e unique output that replaces the specified input, disassociating it from the other original inputs and output. \param op is the given PcodeOp \param sl
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected