Predicate ControlFlowGraph::ControlFlow::Internal::PreSsa::liveAtEntry

predicate liveAtEntry(PreBasicBlock bb, SimpleAssignable a)