Introduced new assertion macros