testing: better check for deadlock tests
minimization: collapse tau chains

Script test #3 covers this feature.
minimization: remove pruned_set