Member predicate ChiInstruction::isPartialUpdate
Holds if the ChiPartialOperand totally, but not exactly, overlaps with the ChiTotalOperand.
This means that the ChiPartialOperand will not override the entire memory associated with the
ChiTotalOperand.
predicate isPartialUpdate()