Add a constraint for array that value should never be zero

[dave_59]

In reply to ankita.soni:

constraint nonzero { foreach (source_id[i]) source_id[i][4] != '0; }