Fix infinite loop if no kif tests are detected