Predicate trueEdge

Import path

import semmle.code.cpp.ir.IR
TrueEdge trueEdge()