Predicate PointsToInternal::reachableBlock
Import path
import semmle.python.pointsto.PointsTopredicate reachableBlock(BasicBlock b, PointsToContext context)import semmle.python.pointsto.PointsTopredicate reachableBlock(BasicBlock b, PointsToContext context)