One more dpor test
Pids are unsafe testcase

Pid induced nondeterminism should be dealt with.
Count transitions apart from interleavings