Member predicate Indirection::isAdditionalWrite

Holds if value is written to the address computed by address.

certain is true if this write is guaranteed to write to the address.