XQuery: Boolean comparisons in simple maps

[ChristianGruen]

some $a in $node/a
satisfies boolean($a)

…is rewritten to…

$node/a ! true() = true()

…and can be further simplified to…

exists($node/a)