transitively track and reify annotations across a codebase - View it on GitHub