Kimaya Bedarkar authored Aug 25, 2022 and Björn Brandenburg committed Aug 25, 2022

Currently a lot of files use two hypotheses

```
Hypothesis H_arrival_times_are_consistent : consistent_arrival_times arr_seq.
Hypothesis H_arr_seq_is_a_set : arrival_sequence_uniq arr_seq.
```

instead of the combined `valid_arrival_sequence`.

This patch aims to fix this.