Fix bug in dependency relation
Fix minor compilation warnings in dpor suite tests
Add one more test in the dpor suite