Unit_tests_enumerate_specific_cases.