update ast.py