Introduced SYMBOL-VALUE-AST.