Resolve TODO in test now that filecheck has multiple check prefixes.