Restored KIF tests