def unseen_count_for(self, recipient, **kwargs):
        return self.notices_for(recipient, unseen=True, **kwargs).count()
Set context for the SMT solver.
dataset/ETHPy150Open amarandon/smeuhsocial/apps/notification/models.py/NoticeManager.unseen_count_for--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.set_context