Added selection of a random element to the vector set interface.
Enable computing the winning strategies for a symbolic parity game.
Remove unused 'debug' option from PBES language module.
Fix a compiler warning.