Delete bddgeneration.txt