Trace: test trace(A*B) does not become Trace(A)*Trace(B)
Trace: test trace(A*B) does not become Trace(A)*Trace(B)

Modify an existing test instead of the new one recently introduced.

skirpichev/omg,diofant/diofant