Fixed very subtle bug in double_next() used for list spliting with
already sorted detection.

First version of sample operative