Symbol: mdd_scan_for_nodes