Correction bug insertion bdd