itensor - contracting antisymmetric and symmetric indices

It is well known that contracting two antisymmetric indices with two symmetric
ones yields zero. Could itensor package recognize this property? I was unable to
get any positive results... (Despite forcing some defcon rules for particular
tensors, but I need to learn Maxima about this contraction law in general).

Thanks for help,
M.D.