Small changes in how comparisions in init_cases happen