Equivalence check.
Since macro nodes can expand into arbitrary subgraphs, we treat each one individually.
Equivalence check.
Since macro nodes can expand into arbitrary subgraphs, we treat each one individually.