add == operator in Bdd