Member predicate Element::isAffectedByMacro
Holds if this element is affected in any way by a macro. All elements
that are totally or partially generated by a macro are included, so
this is a super-set of isInMacroExpansion
.
predicate isAffectedByMacro()