adding missing KASSERT statments