Generalized cc-test to basic-iswim-test and checked it; beginning to build CEK-iswim
SEK reduction for ISWIM passes basic tests