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