when I combine untrace and ImaginaryI, the property ImaginaryI will lose efficacy, this is a example

i::ImaginaryI;
A::ImplicitIndex.
tr{#}::Trace.
ex:= i tr(i A);
untrace(_);


there seems to be some bugs.

substitute(_,$i i->-1$);


is also not valid.