where $a > 3
let $c := $a + $b
return $c</syntaxhighlight>
(: let is lifted up :)
where $a > 3
let $c := $a + $b
return $c</syntaxhighlight>
(: where is rewritten to predicate :)
for $a in 1 to 5[. > 3]
let $c := $a + $b
return $c</syntaxhighlight>
(: $b is inlined :)
for $a in 1 to 5[. > 3]
let $c := $a + 2
return $c</syntaxhighlight>
(: $c is inlined :)