Predicate signature Make::Private::External::SourceSinkInterpretationInputSig::barrierGuardElement
Holds if an external barrier guard specification exists for n with input
specification input, accepting value acceptingValue, and kind kind.
signature predicate barrierGuardElement(Element n, string input, AcceptingValue acceptingValue, string kind, Provenance provenance, string model)