add cudd code