Document PredicateMismatch for exception contexts