Predicate graphProperties
Holds if property key of the graph has the given value.
Import path
import semmle.code.csharp.PrintAst
predicate
graphProperties
(
string
key
,
string
value
)