This is correct. Current order is 3.
It can’t go down first branch, because it must be <> 3
Middle branch condition is <> 2. 3 <> 2, so we go down the middle.
This is correct. Current order is 3.
It can’t go down first branch, because it must be <> 3
Middle branch condition is <> 2. 3 <> 2, so we go down the middle.