Add the desc of the binary case search.
The exprs are converted in the last stage.
UB failing to hold operator< only at runtime.