Fixed tests, and added tests for symbolic tools