Added meaningful test for HAlternative.