Hi,
I think your code has some typos. I checked the following code and gave your desired result AB
{ \alpha}::Indices;
ex:=A_\alpha B^{\alpha};
combine(_);
But as you mentioned the code
{ \alpha}::Indices;
ex:=A^\alpha B_{\alpha};
combine(_);
gives an inverse order, BA.