All Varnode objects are assigned a HighVariable, including those that don't get names like indirect variables, constants, and annotations. Determine if \b this, as inherited from its member Varnodes, can have a name. \return \b true if \b this can have a name
source not stored for this graph (policy: none)
no test coverage detected