Adding another test case to ifToCase