New examples added (leader election, broadcast, etc.)