FEntityManager::CheckInvariants