Thank you very much for your reply. As the code passes the regression
test, I have committed this change. This sort() may slowdown the
runtime, but it seems comparable. For 3,099,125 reflections test case,
the difference was marginal (68.6 vs 68.9 sec).