Edge case: The default constructor sets p == 0, which cannot be dereferenced. Check this case first in DD::checkSameManager().
Edge case: The default constructor sets p == 0, which cannot be dereferenced.
Check this case first in DD::checkSameManager().

lordofhyphens/CUDD,lordofhyphens/CUDD,lordofhyphens/CUDD,lordofhyphens/CUDD