Member predicate FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop::bbNotInLoop

predicate bbNotInLoop(BasicBlock bb)