The PcodeOps in \b this model must have been previously marked with markModel(). Run through the descendants of the given Varnode and look for this mark. \param vn is the given Varnode \param trailOp is an optional known PcodeOp that leads to the model \return \b true if the only flow is into \b this model
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected