Equivalence check.
Every instantiation node has its own identity, so no two are equal. If this weren't the case, there would be no way to instantiate a join pattern twice and use the two instances independently.
Equivalence check.
Every instantiation node has its own identity, so no two are equal. If this weren't the case, there would be no way to instantiate a join pattern twice and use the two instances independently.