cuddArg0
move functions to Cudd.C
type sig
remove bImp
remove duplicate checkKeys and debugCheck
remove shift