Fixed test case 'case_refrence_Unused_Absstract_Clafer'