remove redundant cudd prefixes from function names, consistency with Cudd.Imperative