javabdd framework locally added, removed storing of best bdd during evaluation