Partial ordering of traverses: reduces number of deadlocks by factor of 10.