Da Selektionsbedingungen sowohl im where -Teil des Ausdrucks als auch innerhalb der for - und let -Teile in Subausdrücken auftreten können, ist vor der Auswertung eines Ausdrucks eine Normalisierung notwendig.