Conjure allows two find statements with the same name

[ChrisJefferson]

Given something like:

find design : mset (size 1) of mset (size 1) of int(1..v)
find design: set (size b) of set (size k) of int(1..v)

Conjure uses the second to generate the model, and then tries to use the first when reading the model back in.