add python_non_top.peg