cut conditions for livelock and deadlock
typo in cut computation -- initializing to True instead of False
for livelock, only need one edge to be cut for each goal