Probabilmente per "legali" si intendono quelle espressioni consentite dalla semantica del linguaggio, oltre che dai vari compilatori.
Il problema non risiede tanto nei "dati non conosciuti", quanto nel tipo di dati utilizzati: è evidente che non è logicamente corretto uguagliare e/o confrontare tipi di dato diversi, nella fattispecie boolean e integer.