\brief Does \b this function need to restart its analysis \return \b true if analysis should be restarted
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected