Ordering uniqueness

[wolfrev0]

if ordering of Ordering::cmp is not unique, runtime error occurs.
Priority of this issue is low, because using val2cmp() is recommended. (val2cmp ensures ordering is unique)

Submit Number 44637591: RTE
Submit Number 45361280: AC

TODO: reproduce