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.
fix compile error
correctly solve previous issue
explicitly link with pthread if necessary
fix default wrapped
Warn when vset does not support join
fix segfault when not using guard-splitting in chain(-prev)
always add deepseq library to rpath
change memory block layout in trace generation. Previous did not work correctly.
move learn_guards_reduce, because it will be needed in deadlock checking.
allow null-pointer when counting guard evaluations.
Introduce and use 'reduce' function to reduce a set of states before a vset_next or after a vset_prev.
Now correctly perform guard-splitting when checking for deadlocks.
Save the correct level in chain-prev.