Fix semantic testcase 10