AS-55 core: asc_assert definition