\brief Make sure every Varnode in the given list has a Symbol it will link to This is used when Varnodes overlap a locked Symbol but extend beyond it. An existing Symbol is passed in with a list of possibly overextending Varnodes. The list is in Address order. We check that each Varnode has a Symbol that overlaps its first byte (to guarantee a link). If one doesn't exist it is created. \param en
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected