Predicate SsaSource::import_star_refinement

Holds if the v is in scope at a from import ... * and may thus be redefined by that statement

Import path

import python

predicate import_star_refinement(SsaSourceVariable v, ControlFlowNode use, ControlFlowNode def)