Predicate ControlFlowGraph::ControlFlow::Internal::PreSsa::ssaDefReachesEndOfBlock

predicate ssaDefReachesEndOfBlock(PreBasicBlock bb, Definition def, SimpleAssignable a)