AS-55 core: asc_assert for checking some results