Redoing checkSymbols from scratch
I hate symbol trees