Same as testInfiniteFindAll, but with bagof(N, nat(N), L) in place of findall/3.
bagof(N, nat(N), L)
findall/3