Changed a bit the counter-strategy extraction - now works for strategies that "need preparation before falsifying the system specification"
A medium rewriting of the explicit-state counterstrategy code. To be reviewed.