Simple test with selects
Result:
Fails due to mixed subscript types
--
clock c1;
chan c[5][int[2,10]];
int x;
i : int[0,4], j : int[2,10]
c[i][j]?
c1>4
j : int[2,10]
c[x][j]?
c1 <= 3