improve FindSymbol.py