Predicate interpretModelForTest
Holds if the given extension tuple madId should pretty-print as model.
This predicate should only be used in tests.
Import path
import semmle.code.cpp.dataflow.ExternalFlowpredicate interpretModelForTest(ExtensionId madId, string model)