Fix semantic testcase 13