I didn't use symbols because they are not available in some situations. For example, if we have:
```scala
toolbox.untypecheck(toolbox.typecheck(q"class A(val x: Int = 5) {...}")
```
The structure of this tree is very similar to typechecked tree and in class there is an accessor for val x but its symbol is reseted.