faster bdd conversion