For some forms of pointer (TypePointerRel), the pointer can be interpreted as having two versions of the data-type being pointed to. This method initializes analysis for the second version, assuming analysis of the first version has failed. \return \b true if there is a second version that can still be analyzed
source not stored for this graph (policy: none)
no test coverage detected