Predicate test_contains
Hold if expr is a test (a branch) and use is within that test
Import path
import pythonpredicate test_contains(ControlFlowNode expr, ControlFlowNode use)Hold if expr is a test (a branch) and use is within that test
import pythonpredicate test_contains(ControlFlowNode expr, ControlFlowNode use)