Leave is called after children nodes have been visited. The returned node's type can be different from the input node if it is a ExprNode, Non-expression node must be the same type as the input node n. ok returns false to stop visiting.
(n Node)
source not stored for this graph (policy: none)