Update: PoolAnalyzer - in cases of assignment, scan all block hierarchy up to local var declaration block - debug binary built from cb708ddf Down to 15 confirmed false-positives (5 different types) Tests: unit tests + started unity