Equivalence check.
An out-edge slot is only equivalent to another if they point to the same slot in equivalent nodes.
Equivalence check.
An out-edge slot is only equivalent to another if they point to the same slot in equivalent nodes.