Check overlapping of multiple partial assignment

[dalance]

Multiple assignment by partial assignment is not checked yet like below. This is because it requires parameter evaluation.

assign a[0] = 1;
assign a[0] = 0;

assign a[0] = 1;
assign a[X] = 0; // what is X?

Related: #739