What shall happen in case `WasLeader -> BecomingLeader` (currently only the first case triggers). I also recommend keeping these blocks close to the states involved.