Predicate PreSsa::assignableDefAtLive

predicate assignableDefAtLive(PreBasicBlock bb, int i, AssignableDefinition def, SimpleAssignable a)