const-correcness in dftdriver done