Predicate BaseSSA::BaseSsa::getARead

Gets a read of the SSA definition for variable v at definition def. That is, a read that is guaranteed to read the value assigned at definition def.

AssignableRead getARead(AssignableDefinition def, SimpleLocalScopeVariable v)