Add missing asserts to HIT