PushoutComplement_FinSets.g takes a long time in Toposes.jl

[zickgraf]

It takes > 5 minutes on my laptop. Before 1ec0f5b (resp. https://github.com/zickgraf/Toposes.jl/commit/ae46445a31b5887f82c2ecf826e93bd8e5562ab7) this was much better (< 1.5 minutes). Since Julia has no caching (except attributes) I'm not sure why changing the order of examples causes such a large difference.

Background: There is also a difference in memory usage. Since yesterday, presumably Julia commit 5f36833b71e8bcce6ab9c89e8e98246638e465a1, Julia needs a bit more memory. This makes the tests of Toposes.jl run out of memory in GitHub actions. Hence, I had to disable the test in homalg-project/PackageJanitor@bab0662.