Implemented meaningful HKleeneStar test.