corrected bug in Resolver
Temporary solution for the Symbol Environment: a blind DFS tree traversal