value flow: skip scopes that don't contain variable