Predicate typeStrongerThan
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
predicate typeStrongerThan(DataFlowType t1, DataFlowType t2)
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
predicate typeStrongerThan(DataFlowType t1, DataFlowType t2)