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