[TCP]: Fix ambiguity in the `before' relation.