Sequenced-before: clarify graph construction