History cts/scheduler/bug-5014-ordered-set-symmetrical-true.dot