Flattening issue with multiple names for the same type constructor

[bugarela]

I haven't investigated the problem yet, but this hash breaks flattening. Seems like the same type constructor is available both with the execute:: namespace and without it, but only one version get's flattened and the other is missing.

https://github.com/informalsystems/security-tooling-incubator/commit/c9ef1b7e4895d50a0468d4749a1cfc890e7fa1b1

Command: quint run donations.qnt --main=state_machine