I've got some automation available so I tested on all Windows machines which happened to be running:
 Code:
If InGroup("Everyone")
	? "@PRODUCTTYPE @DOS Build @BUILD --> Working"
Else
	? "@PRODUCTTYPE @DOS Build @BUILD --> Not Working"
EndIf

 Quote:

Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows 7 Professional Edition 6.1 Build 7601 --> Working
Windows Server 2012 R2 6.3 Build 9600 --> Working
Windows Server 2012 R2 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2016 Datacenter Edition 10.0 Build 14393 --> Working

 Code:
$rc = SetOption("WOW64FileRedirection","OFF")

If InGroup("Everyone")
	? "@PRODUCTTYPE @DOS Build @BUILD --> Working"
Else
	? "@PRODUCTTYPE @DOS Build @BUILD --> Not Working"
EndIf

 Quote:
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows 7 Professional Edition 6.1 Build 7601 --> Not Working
Windows Server 2012 R2 6.3 Build 9600 --> Working
Windows Server 2012 R2 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2012 R2 Datacenter Edition 6.3 Build 9600 --> Working
Windows Server 2016 Datacenter Edition 10.0 Build 14393 --> Working


All of the above are 64 bit. I've also tried on my own Windows 10 (64 bit) machine and Server 2008R2, both of which stay working when the redirection is off.