Given a Varnode at the root of an expression, we collect all the \e explicit HighVariables involved in the expression. This should only be run after \e explicit and \e implicit properties have been computed on Varnodes. The expression is traced back from the root until explicit Varnodes are encountered; then their HighVariable is marked and added to the list. The routine returns a value based on
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected