This assumes the storage location has already been determined to be contained in standard return value location. \return \b true if the location should be considered killed by call
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected