Document PredicateMismatch for exception contexts
Merge pull request #836 from davidjb/public-predicate-mismatch

Document PredicateMismatch for exception contexts