cut conditions for livelock and deadlock
typo in cut computation -- initializing to True instead of False
adding placeholder for the new counterstrategy clauses extension
extracted deadlock transitions and can output to the terminal
added function to print clauses from BF