[Merged by Bors] - chore(Data/Seq): address porting note in terminates_parallel.aux by golfing

[Merged by Bors] - chore(Data/Seq): address porting note in terminates_parallel.aux by golfing #239177