Update: PoolAnalyzer - check finally and using blocks - debug binary built from b28334fc Down to 48 potentially false-positive errors Tests: unit tests + started unity