further refined the symbol tests, and extended the testing infrastructure