It would be good to show a test where you create symbols without relying on them being available on the classpath, for instance comparing two existentials.