Add mod set to the initial set

This allows us to also track write-write dependencies.

See #67.
Add message for write-write interference

See #67.