Fixed transExp(RecordExp) for test case 5