Yeah, that leads into some old complaints about convergence issues.  If `not_ok` takes more than 3 cycles to converge, `not_ok` will not get defined.  This is OK for the debugging message, but it's not OK for the whole test because it will fail silently.  I know it's not ideal but it's the best way right now.