Counterstrategy implementation

Extensions for counterstrategy winning state computation and
extraction. More commenting coming later. Included small example for
testing.