equal algorithm corrected to be O(1) with random access and pred.
Merge branch 'hotfix/trac_9403_equal_impl_order_n' into develop