fixed debug output from BitBlast
fixed debug output from BitBlast

use typeid().name() instead of printing the object itself (could
be unprintable)

nbruns1/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,agra-uni-bremen/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,nbruns1/metaSMT