Convert many asserts to user_assert or internal_assert