Member predicate PartialDefinitions::IteratorPartialDefinition::partiallyDefinesVariableAt

Holds if this PartialDefinition defines variable v at control-flow node cfn.