Member predicate PartialDefinitions::VariablePartialDefinition::partiallyDefinesVariableAt

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