Array Method .sum() for multiple dimension array

In reply to kernalmode1:

I am trying to do something like this

    
constraint sum_c {
        m.sum() with (int'(item.sum() with (int'(item)))) == 30;
    }

but I get the following error message –
Unsupported operator ‘sum over upper dimension of multi-dimensional array’ in this constraint expression.

Looks like even the industry wide simualtors dont have this supported :(