Examples

Memory

Environment

Printed
(Side effects)

Interpretation of
the current node

Abstract Syntax Tree for B language