WIP - traversing code during the SA phase