AST subtree stuff in vector symbols