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

jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel