refresh AST