Fixed CUDD handling of shadow operations

Successfully implement density and support computation.
Fix errors that arose when trying to run only CUDD.