Predicate FlowVar::FlowVar_internal::blockVarDefinedByVariable

Holds if sbb is the SubBasicBlock where v receives its initial value. See the documentation for FlowVar.definedByInitialValue.

predicate blockVarDefinedByVariable(SubBasicBlock sbb, LocalScopeVariable v)