in is_bdd/1, check that all existing nodes are also registered