checking attributes for parameters: surjective sequence

[ndangtt]

I have the following model:

$ model.essence
given s: sequence (size 5, surjective) of int(1..10)

and an Essence param file:

$ inst.param
letting s be sequence(1,2,3,4,5)

s is not a surjective sequence, but conjure solve model.esssence inst.param doesn't print out any error message.