Remove dummy=True option for Symbol() and numbered_symbols()
Use Symbol(...) instead of Symbol(..., dummy=True) in risch.py for debugging