BFS ALGORITHM MODIFICATION: Start out with multiple \"root\" nodes, as exception handlers are starting points of top-level code, too. [why top-level? TODO: Refer to the special JustIce notion of subroutines.]