added some tests for symbolic set checks (no implementation pressent)