Equivalence check.
Since different undefined nodes can resolve to different values, each has its own identity.
Equivalence check.
Since different undefined nodes can resolve to different values, each has its own identity.