implement TestCasegenerator for A, B, C
introduce A, B, C cases
add new cases to AllCases