Small utility to order operation->post operation so that the "post" step is guaranteed to only be run when all "post"-ops for lower valued keys (T) have been completed This is a generalized utility mainly to be testable.