Add some more interesting tests to DPOR suite
Remove support for multiple predecessors in backtrack sets
Add more tests to dpor suite