Member predicate PartialFlowFunction::isPartialWrite

Holds if the write to output does not overwrite the entire value that was there before, or does not do so reliably. For example the destination argument of strcat is modified but not overwritten.