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.
add mcrl2 libraries to rpath option for the linker.
Papers and DFS-FIFO progress state option
Safety ignoring proviso
May-be coenabled addition to stubborn sets
Ample set

TODO: improve process detection
Fix safety proviso
Fix memory overflow in PINS connection to SpinS