the problem here is that for this to work `map` wo...

# arrow-meta

[Alejandro Serrano Mena]

the problem here is that for this to work map would need something which says "for every element of this list, this formula holds", which cannot be expressed easily in Z3