Predicate ControlFlowGraph::ControlFlow::Internal::PreSsa::assignableDefAtLive

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