Method on INTERPRET-AST specialized to THE-AST.