Introduces KIF testing framework.