ASTManager.py updated