Probs add to `ResolverOutput`.
Probs add to
ResolverOutput.