Predicate SsaSource::test_refinement
Holds if the set of possible values for v is refined by test and use is the use of v in that test.
Import path
import pythonpredicate test_refinement(Variable v, ControlFlowNode use, ControlFlowNode test)