fix more compilation failures due to tribool breaking changes in boost 1.69
fix more compilation failures due to tribool breaking changes in boost 1.69

hoangmle/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT