Updates to ASTExplorer