Predicate macroLocation
Holds if l is the location of a macro.
Import path
import cpp
predicate
macroLocation
(
Location
l
)