Predicate edges
Holds if the output graph contains an edge from pred to succ, and that edge’s property key
has the given value.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.PrintIRpredicate edges(PrintableIRBlock pred, PrintableIRBlock succ, string key, string value)