locks_leader behaves better at netsplits