Added meaningful test for HKleenePlus.