Update: PoolAnalyzer - handle more valid cases - added support for Dispose handling - added if(obj != null) Free(ref obj) handling - added support for using directives (both scoped and inline) I give up on trying to handle local data flow involving pooled objects - there's just too much work here Tests: unit tests + started unity (our Pooling unit tests no longer flag false-positives, this was kind of funny)