Since this could be an expensive operation, early exits are checked before any virtual call.
Thus, type-specific equality functions will only be called on non-aliased same-kind nodes whose cached hash values collide.
True if and only if one node can be substituted by the other, while still maintaining program semantics (after an adequate rewiring of the substituted node's in-neighbors).
Compares two nodes for equivalence.
Since this could be an expensive operation, early exits are checked before any virtual call. Thus, type-specific equality functions will only be called on non-aliased same-kind nodes whose cached hash values collide.