add simple kleene test