Fix Unlock event emitted for both read and write lock
Fix Unlock event emitted for both read and write lock

This broke apron privatization because privatization saw double unlock.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer