Embeds arrival_uniq into arrival sequences
This avoid having to state arrival_uniq again and again almost each time an arrival sequence is used, since arrival sequence without uniq_arrival aren't really a thing.
If we decide to merge this, I could probably do the same for a few other hypotheses.