Refactorization: Simplifications in symboldatabase