The expressions a node holds itself, not those of its children: a hole's expression, an If's conditions, and so on.
The expressions a node holds itself, not those of its children: a hole's expression, an If's conditions, and so on.