> Unfortunately, it seems I can't apply some assumptions for Wild

That's why, to check assumptions, you may need to do this without match...or else just check the attributes of the matched symbols.