--mcsat --trace mcsat::bv::conflict::check --trace mcsat::bv::rewrite::check