Make a bit fewer test cases on caseAnalysis