Try to trace the logical variable through descendant Varnodes, updating the logical subgraph. We assume (and check) that the logical variable has always been sign extended (sextstate) into its container. \param rvn is the given subgraph variable to trace \return \b true if the logical value can successfully traced forward one level
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected