All versions of function STRING-LESSP.
Random tests for STRING-LESSP.