tests for set_difference, fix bug in lexicographical_compare