more functions in DBEnv
remove De Bruijn indices in proxy definitions in CNF
merge bugfix from "better_cnf"