Add SMT formula stats