Removed KIF Test in scheme