Demo: Log assertion failure exception
Update error type definitions