Generalize post-process order-by pre-condition