Do not build test programs in CUDD