Member predicate FlowVar::definedByInitialValue

Holds if this FlowVar corresponds to the initial value of v. The following is an exhaustive list of cases where this may happen.

• v is a parameter, and this contains the value of the parameter at the entry point of its function body.
• v is an uninitialized local variable, and v contains its (arbitrary) value before it is reassigned. If it can be statically determined that a local variable is always overwritten before it is used, there is no FlowVar instance for the uninitialized value of that variable.