Just a side note, it would be better to look if there is a detection method that does not use wmi. WMI inspections have greater overheads on the endpoints and its typically better to limit WMI inspections to properties where you can configure a less frequent refresh rate, eg once a day. WMI inspections in fixlets, groups etc will be re-evaulted every cycle and can cause CPU spikes on a recurring basis.
If you are after server and domain controller you may want to consider using the product type of operating system inspector, which would be much more efficient than WMI. See the evaluation time differences below.
Q: ((select ("ProductType from Win32_OperatingSystem") of WMI) as string contains "2") or ((select ("ProductType from Win32_OperatingSystem") of WMI) as string contains "3")
A: True
T: 23.558 ms
I: singular boolean
Q: (it = nt server product type or it = nt domain controller product type) of product type of operating system
A: True
T: 0.076 ms
I: singular boolean