SV Array Constraint Question

In reply to totochan1985:

Your constraint no_conseq_zero has a simple mistake. Did you test it?

Also arr[60] is a fixed sized array, not a dynamic array.