Predicate typeStrongerThan
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate typeStrongerThan(DataFlowType t1, DataFlowType t2)
import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate typeStrongerThan(DataFlowType t1, DataFlowType t2)