improve definition of [ptsto_set]
improve definition of [ptsto_set]

outstanding disk writes are a subset of the writes claimed by [ptsto_set],
rather than equal to.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl