Member predicate File::File::usesMacro

Holds if this file uses the given macro.

predicate usesMacro(Macro m)