All p-code ops that read the Varnode are transformed so that they read a special constant instead (associate with unreachable block removal). \param vn is the given Varnode \return \b true if a PcodeOp is modified
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected