Made symbol table getters const.