moved likely_assert to frontend