little fix of case_analysis