strengthen big_sepS_union_2

2 jobs for !787 with ralf/big_sepS in 16 minutes and 16 seconds (queued for 1 second)
latest merge request