Wrong result when the same array appears in both sides of =

When the same array appears in both side of =, the result from Tullio is strange

using Tullio
a = [1,2]
b = [1 2;3 4]
a = b * a
println(a) # [5,11]
a = [1,2]
@tullio a[x] = b[x,y] * a[y]
println(a) # [5,23]

It seems only the first component is right. When calculate the second componet, the first component is already updated to 5, and the second component is calculated by 3*5+4*2=23.
When there are some complicated operations which have to be seprated into several steps, to avoid extra allocation, I prefer to use the same array repeatedly, and sometimes wrong results may occur like above.

Start with the provided Julia reproducer and inspect the expansion generated by @tullio for alias handling. Confirm the behavior with both the regular multiplication and in-place @tullio examples; done means the in-place result matches [5,11] rather than using an already updated element.