How to determine the size of a multi-dimensional dynamic array in a constraint?

In reply to prashant.kaushik:

I agree it looks like a tool issue, I’m using vcs_mx/K-2015.09-SP2.
If I use vinod’s suggested workaround, it works OK.

Thanks for your help