revise bdd_and, still need to delete some node