Section 4.1.7 - metacircular evaluator with analysis step separated from execution, for performance