Removing unused parts of CUDD