Remove unnecessary KKASSERT(p) checks for procedures which do not need