Member predicate FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop::alwaysAssignsBeforeLeavingCondition

Holds if this loop always assigns to v before leaving through an edge from bbInside in its condition to bbOutside outside the loop. Also, v must be used outside the loop.

predicate alwaysAssignsBeforeLeavingCondition(BasicBlock bbInside, BasicBlock bbOutside, Variable v)