underlyingElement
isStructuredBinding
Accodring to the documentation in `Element.qll`, `underlyingElement` is supposed to be used here and not `unresolveElement`.