NonCommFreeQ[exp] yields True if
exp contains no non-commutative objects (i.e. those objects
which are listed in $NonComm) or only non-commutative
objects inside DiracTraces or SUNTraces.
Overview, $NonComm, NonCommQ, DiracTrace, SUNTrace.