MakeTraceless uses AllContractions internally, hence its conditions on the input expression also apply to MakeTraceless.
MakeTraceless returns implicitly symmetrized expressions containing SymH heads. They can be converted to explicitly symmetrized expressions with ExpandSym.
EXAMPLES
Basic Examples 
