false positive problem reports "unused variable"

Sometimes variables in function bodies get reported as unused, although it’s definitely not the case, e.g., `$token` in the following example:

```xquery
    for $token in $anno/@class => normalize-space() => replace('#','') => tokenize(' ')
    return xs:IDREF($token)
```