aacsbr: add a assert0 to check for a inconsistency that