Predicate Conditionals::testEvaluates
Import path
import semmle.python.pointsto.PointsTo
boolean testEvaluates(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, ObjectInternal value, ControlFlowNode origin)
import semmle.python.pointsto.PointsTo
boolean testEvaluates(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, ObjectInternal value, ControlFlowNode origin)