add bdd operation, add operator redifinition