File exists
exists file (value of variable "ProgramFiles" of environment & "\MIS_InactiveLogoff\winmgr.exe")
BONUS! also check file version!
exists file (value of variable "ProgramFiles" of environment & "\Verizon Wireless\VZAccess Manager\VZAccess Manager.exe") whose (version of it as string as version >= "7.7.1" as version)