Can I constrain a sum/function of array element sizes?

In reply to niravshah:

You cannot use a function for this kind of constraint.

See Is there an alternative to sum() Constraint | Verification Academy