checking protocols re-evals

[arohner]

Checking a namespace containing a protocol re-evals, which then breaks predicates that check for the protocol. Maybe use pods to avoid breaking?

This is a limitation of tools.analyzer, which must eval.