fix HasNonTrivialIdentities