Add support for non-returning assertions