Resolve "which spesh cand" statically if possible.

This means we don't need to check the guards if we have enough to
prove they will always be met.