Predicate ControlFlowGraph::ControlFlow::Internal::PreSsa::defAt

predicate defAt(PreBasicBlock bb, int i, Definition def, SimpleAssignable a)