Predicate ifndefDirective
Holds if ppd is effectively an #ifndef directive that tests macro.
This includes #if !defined(macro).
Import path
import semmle.code.cpp.headers.MultipleInclusionpredicate ifndefDirective(PreprocessorDirective ppd, string macro)