Removed unused stuff from cudd