Merges two sequential if branches into one using a disjunction, provided they have the same code body.