added some tests to document missing features of symbolic set implementation