Added additional debug output for Arty

Marks unreachable nodes in global graph and what makes them unreachable.
Also some minor fixes and cleanups.
Added a couple of missing imports in Marc's algo code