Added new BDD-based version for the abstract counter-trace generator. May at some point also compute winning traces of the system.