It already does this for the specializations.

However, we don't have anything that is the equivalent of a traversal, such as going through annotations in existing code.

Low prio as this might turns into a "reinvent the wheel"