It seems they are keeping Bada -> Tizen around just to have some leverage over Google. If some negoatiations are really tough with Google, they can say "hey, let's forget the whole thing and we'll start using Tizen instead of Android". They don't really want to do that but it's a good plan B.