fix: Multiple Paths Between IF/ELSE Branches Invalidate Conditions

fix: Multiple Paths Between IF/ELSE Branches Invalidate Conditions #8942