Added a test to check generated symbolic states in Space.