(sorts a, b, [])

2.6: ### Hint: redeclared sort 'a'

2.6: ### Warning: redeclared sort as non-empty 'a'

3.7: ### Hint: redeclared sort 'b'

3.7: ### Warning: non-empty sort remains non-empty 'b'