Add raises-other-than, does-not-raise. Rename satisfies-not to violates.
Emacs highlighting.