assert instead of exit when checking for may_add in kat