1. extensions of the ASTManager
2. bug fixing