InsidePauliTrace is an option of PauliSimplify and some other functions dealing with Pauli algebra. If set to True, the function assumes to operate inside a Pauli trace.
InsidePauliTrace
PauliSimplify
True
Overview, PauliSimplify.