Combine this `if` and the `cond` that in the then branch.