Characteristic predicate MacroInvocation :: MacroInvocation
MacroInvocation
(
)