Move loop:assert to util/verify