Better version of STRING-NOT-GREATERP.