Fix tie scenario for bdd