[WIP] Improve support for codebase with names' reuse#413

Merged

montyly merged 3 commits intodevfrom dev-name-reused

Mar 21, 2020

+335-172

Commits on Mar 20, 2020

Breaking change in the way Slither handled codebase with name reused
montyly
committed

Commits on Mar 21, 2020