Symbol: mdd_any_dup_nodes