Predicate test_contains

Hold if expr is a test (a branch) and use is within that test

Import path

import semmle.python.pointsto.Base

predicate test_contains(ControlFlowNode expr, ControlFlowNode use)