x : BITVECTOR(32);
QUERY (x[15:1][14:0] = x[15:1]);