Revert changes of 128553f. Fixes #687.

Still fixes #121, but the original fix was superfluous. Added documentation
about handling assumes and asserts in conjunction with the
ExpectedException rule.
Extract isAnyExceptionExpected().

Improve readability and avoid duplicate code.