Predicate signature InputSig::interpretModelForTest
Holds if the given extension tuple madId should pretty-print as model.
signature predicate interpretModelForTest(ExtensionId madId, string model)Holds if the given extension tuple madId should pretty-print as model.
signature predicate interpretModelForTest(ExtensionId madId, string model)