fixed likely_assert