Equivalence check.
Conditional nodes are the same if and only if they use the same value to select the taken branch and every branch in one has an equivalent branch in the other.
Equivalence check.
Conditional nodes are the same if and only if they use the same value to select the taken branch and every branch in one has an equivalent branch in the other.