Partial Orders for Parallel Debugging