change ArraySize's kind (Operator => SingleTermOperator)