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