Finish the code for reachability validator. Test pending.
Fixed the tests but the one for system interaction. Add the code to
represent a network in dot showing vertex with supply gadget and
switched off edges highlighted.