testInfiniteBagOf

open override fun testInfiniteBagOf()

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