codeql/csharp/ql/test/library-tests/csharp8/ispatternflow.ql

import csharp

query predicate edges(ControlFlow::Node a, ControlFlow::Node b, string label, string value) {
  exists(ControlFlow::SuccessorType t |
    a.getEnclosingCallable().getName() = "IsPatterns" and
    b = a.getASuccessorByType(t) and
    label = "semmle.label" and
    value = t.toString()
  )
}