move functions to Cudd.Convert, export list
move isComplement to C file