Predicate Expressions::evaluatesTo
Import path
import semmle.python.pointsto.PointsTo
boolean evaluatesTo(ControlFlowNode expr, PointsToContext context, ControlFlowNode subexpr, ObjectInternal subvalue)
import semmle.python.pointsto.PointsTo
boolean evaluatesTo(ControlFlowNode expr, PointsToContext context, ControlFlowNode subexpr, ObjectInternal subvalue)