Random tests for STRING/=.
Random tests for STRING-NOT-EQUAL.
Better version of STRING>.