Optimize queries to SMT, SMTCache dump