Predicate possibleMacroLocation
Holds if there might be a macro invocation at location l.
Import path
import cpp
predicate
possibleMacroLocation
(
Location
l
)