if (node_p ()) {dzn.extend (dzn, dzn_require ('#.name '));}