CUDD : Add null-check for return values

[SSoelvsten]

Unlike other packages, CUDD does not throw an error when its table gets full. Instead, it merely returns null and then sets an error code.

We should add to the CUDD package_mgr to check for null return values and kill the program with a meaningful message and a non-zero exit code.