Predicate InconsistentCheckReturnNull::assertMacro

predicate assertMacro(Macro m)