- Initial implementation: assertException() and tests