In reply to shanshan:
Can you give us a complete example and show results that you were not expecting. I find it hard to believe you would get a repeating value for C[Ii] given there are 232-1 possible values. Also, you probably meant to write the constraint with parenthesis
C[I] == (A[i] & B[i]);