re-added original bdd_unique(), whcih was removed accidentally