Predicate UseWithoutUniqueSsaVariable::accessWithoutSourceVariable

predicate accessWithoutSourceVariable(SsaConvertibleReadAccess va)