Fraser Dunlop

Looks like the issue is actually that we are generating allDiff instead of an equivalent expected expression. That is pushing off the numbering and triggering the rest of the errors....

What is this behaviour dependent on? I get the non allDiff version on my laptop.

Suspect this commit a8d91d84eb19fbc8a8170b07f731d4cf5d5667ef

Turns out this issue does occur locally for me. There is no magic...

@ott2 Going back to your first example. ````essence given n : int(1..) letting ind be domain int(1..n) find P : matrix indexed by [ind] of bool such that P .

Re: deprecating