improve query construction for STP: use vc_assertFormula incrementally instead of creating a big conjunction
improve query construction for STP: use vc_assertFormula incrementally instead of creating a big conjunction

hoangmle/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT