Using associative arrays with default value in constraint block

In reply to prang:

It looks like you found a bug in your tool. Please contact your vendor.