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.