Member predicate PropertyTypeInference::AnalyzedPropertyWrite::baseIsIncomplete

Holds if the flow information for the base node of this property write is incomplete due to reason.

predicate baseIsIncomplete(Incompleteness reason)