Sequenced-before: clarify "different branches"