Use Nondeterminism.gather.