Add some tests for the sorter with mixed atoms and booleans