remove unused code in Python.peg